[−][src]Module rustc_infer::traits::project
Code for projecting associated types out of trait references.
Structs
| MismatchedProjectionTypes | |
| Normalized | |
| ProjectionCache | 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. |
| ProjectionCacheKey | |
| ProjectionCacheStorage |
Enums
| ProjectionCacheEntry | |
| Reveal | Depending on the stage of compilation, we want projection to be more or less conservative. |
Type Definitions
| NormalizedTy | |
| UndoLog |