Type Alias rustc_infer::infer::canonical::ir::solve::QueryResult
source · pub type QueryResult<I> = Result<Canonical<I, Response<I>>, NoSolution>;
Expand description
The result of evaluating a canonical query.
FIXME: We use a different type than the existing canonical queries. This is because
we need to add a Certainty
for overflow
and may want to restructure this code without
having to worry about changes to currently used code. Once we’ve made progress on this
solver, merge the two responses again.
Aliased Type§
enum QueryResult<I> {
Ok(Canonical<I, Response<I>>),
Err(NoSolution),
}
Variants§
Ok(Canonical<I, Response<I>>)
Contains the success value
Err(NoSolution)
Contains the error value
Layout§
Note: Encountered an error during type layout; the type failed to be normalized.