Expand description
Code for projecting associated types out of trait references.
Re-exports§
use rustc_data_structures::snapshot_map;🔒use rustc_data_structures::snapshot_map::SnapshotMapRef;🔒use rustc_data_structures::snapshot_map::SnapshotMapStorage;🔒use rustc_data_structures::undo_log::Rollback;🔒use rustc_macros::TypeVisitable;🔒use rustc_middle::traits::EvaluationResult;🔒use rustc_middle::ty;🔒use tracing::debug;🔒use tracing::info;🔒use super::PredicateObligations;🔒use crate::infer::snapshot::undo_log::InferCtxtUndoLogs;🔒
Structs§
- Mismatched
Projection Types - Normalized
- Projection
Cache - 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.
- Projection
Cache Key - Projection
Cache Storage