Struct CanonicalInstantiator 

struct CanonicalInstantiator<'db, 'a> {
    tcx: DbInterner<'db>,
    var_values: &'a [GenericArg<'db>],
    cache: FxHashMap<Ty<'db>, Ty<'db>>,
}

Replaces the bound vars in a canonical binder with var values.

Fields

tcx: DbInterner<'db>

var_values: &'a [GenericArg<'db>]

cache: FxHashMap<Ty<'db>, Ty<'db>>

Trait Implementations

impl<'db, 'a> TypeFolder<DbInterner<'db>> for CanonicalInstantiator<'db, 'a>

fn cx(&self) -> DbInterner<'db>

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

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

fn fold_const(&mut self, ct: Const<'db>) -> Const<'db>

fn fold_predicate(&mut self, p: Predicate<'db>) -> Predicate<'db>

fn fold_clauses(&mut self, c: Clauses<'db>) -> Clauses<'db>

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

where T: TypeFoldable<I>,