pub type QueryResult<I> = Result<CanonicalResponse<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§
Layout§
Note: Encountered an error during type layout; the type failed to be normalized.