Struct BoundVarReplacer 

pub(crate) struct BoundVarReplacer<'db, D> {
    interner: DbInterner<'db>,
    current_index: DebruijnIndex,
    delegate: D,
}

Replaces the escaping bound vars (late bound regions or bound types) in a type.

Fields

interner: DbInterner<'db>

current_index: DebruijnIndex

As with RegionFolder, represents the index of a binder just outside the ones we have visited.

delegate: D

Implementations

impl<'db, D: BoundVarReplacerDelegate<'db>> BoundVarReplacer<'db, D>

pub(crate) fn new(tcx: DbInterner<'db>, delegate: D) -> Self

Trait Implementations

impl<'db, D> TypeFolder<DbInterner<'db>> for BoundVarReplacer<'db, D>

where D: BoundVarReplacerDelegate<'db>,

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

fn fold_binder<T: TypeFoldable<DbInterner<'db>>>( &mut self, t: Binder<'db, T>, ) -> Binder<'db, T>

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: <I as Interner>::Clauses, ) -> <I as Interner>::Clauses