Struct LowerUniverseFolder 

struct LowerUniverseFolder<'a, 'tcx> {
    infcx: &'a InferCtxt<'tcx>,
    for_universe: UniverseIndex,
    cache: SsoHashMap<Ty<'tcx>, Ty<'tcx>>,
}

Canonicalizing inputs puts all inference variables and placeholders into the root universe.

This means when instantiating the query response we need to pull down the universe of returned var_values to the universe of the inference variable in orig_values.

This folder is similar to the Generalizer, except that it simply structurally folds non-rigid aliases as these should have already been generalized in the query so we shouldn’t try to do it again.

Fields

infcx: &'a InferCtxt<'tcx>

for_universe: UniverseIndex

cache: SsoHashMap<Ty<'tcx>, Ty<'tcx>>

Trait Implementations

impl<'a, 'tcx> TypeFolder<TyCtxt<'tcx>> for LowerUniverseFolder<'a, 'tcx>

fn cx(&self) -> TyCtxt<'tcx>

fn fold_ty(&mut self, t: Ty<'tcx>) -> Ty<'tcx>

fn fold_const(&mut self, c: Const<'tcx>) -> Const<'tcx>

fn fold_region(&mut self, r: Region<'tcx>) -> Region<'tcx>

fn fold_binder<T>(&mut self, t: Binder<I, T>) -> Binder<I, T>

where T: TypeFoldable<I>,

fn fold_predicate( &mut self, p: <I as Interner>::Predicate, ) -> <I as Interner>::Predicate

fn fold_clauses( &mut self, c: <I as Interner>::Clauses, ) -> <I as Interner>::Clauses

Layout

Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...) attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.

Size: 160 bytes