Struct BoundVarReplacer

struct BoundVarReplacer<'tcx, D> {
    tcx: TyCtxt<'tcx>,
    current_index: DebruijnIndex,
    delegate: D,
    cache: DelayedMap<(DebruijnIndex, Ty<'tcx>), Ty<'tcx>>,
}

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

Fields

tcx: TyCtxt<'tcx>

current_index: DebruijnIndex

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

delegate: D

cache: DelayedMap<(DebruijnIndex, Ty<'tcx>), Ty<'tcx>>

This cache only tracks the DebruijnIndex and assumes that it does not matter for the delegate how often its methods get used.

Implementations

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

fn new(tcx: TyCtxt<'tcx>, delegate: D) -> Self

Trait Implementations

impl<'tcx, D> TypeFolder<TyCtxt<'tcx>> for BoundVarReplacer<'tcx, D>

where D: BoundVarReplacerDelegate<'tcx>,

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

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

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

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

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

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

Layout

Note: Unable to compute type layout, possibly due to this type having generic parameters. Layout can only be computed for concrete, fully-instantiated types.