Module rustc_next_trait_solver::solve::eval_ctxt
source ยท Modulesยง
- canonical ๐Canonicalization is used to separate some goal from its context, throwing away unnecessary information in the process.
- probe ๐
Structsยง
- Nested
Goals ๐ - Eagerly replace aliases with inference variables, emitting
AliasRelate
goals, used when adding goals to theEvalCtxt
. We compute theAliasRelate
goals before evaluating the actual goal to get all the constraints we can.