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§
pub enum QueryResult<I> {
Ok(Canonical<I, Response<I>>),
Err(NoSolution),
}
Variants§
Layout§
Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.