Module rustc_infer::traits::project
source · Expand description
Code for projecting associated types out of trait references.
Structs
The projection cache. Unlike the standard caches, this can include
infcx-dependent type variables, therefore we have to roll the
cache back each time we roll a snapshot back, to avoid assumptions
on yet-unresolved inference variables. Types with placeholder
regions also have to be removed when the respective snapshot ends.
Enums
The result of trait evaluation. The order is important
here as the evaluation of a list is the maximum of the
evaluations.
Depending on the stage of compilation, we want projection to be
more or less conservative.