Struct rustc_middle::ty::fold::BoundVarReplacer

struct BoundVarReplacer<'a, 'tcx> {
    tcx: TyCtxt<'tcx>,
    current_index: DebruijnIndex,
    fld_r: Option<&'a mut (dyn FnMut(BoundRegion) -> Region<'tcx> + 'a)>,
    fld_t: Option<&'a mut (dyn FnMut(BoundTy) -> Ty<'tcx> + 'a)>,
    fld_c: Option<&'a mut (dyn FnMut(BoundVar, Ty<'tcx>) -> &'tcx Const<'tcx> + 'a)>,
}

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.

fld_r: Option<&'a mut (dyn FnMut(BoundRegion) -> Region<'tcx> + 'a)>

fld_t: Option<&'a mut (dyn FnMut(BoundTy) -> Ty<'tcx> + 'a)>

fld_c: Option<&'a mut (dyn FnMut(BoundVar, Ty<'tcx>) -> &'tcx Const<'tcx> + 'a)>

Implementations

impl<'a, 'tcx> BoundVarReplacer<'a, 'tcx>

fn new(
    tcx: TyCtxt<'tcx>,
    fld_r: Option<&'a mut (dyn FnMut(BoundRegion) -> Region<'tcx> + 'a)>,
    fld_t: Option<&'a mut (dyn FnMut(BoundTy) -> Ty<'tcx> + 'a)>,
    fld_c: Option<&'a mut (dyn FnMut(BoundVar, Ty<'tcx>) -> &'tcx Const<'tcx> + 'a)>
) -> Self

Trait Implementations

impl<'a, 'tcx> TypeFolder<'tcx> for BoundVarReplacer<'a, 'tcx>

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

fn fold_binder<T: TypeFoldable<'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: &'tcx Const<'tcx>) -> &'tcx Const<'tcx>

fn fold_mir_const(&mut self, c: ConstantKind<'tcx>) -> ConstantKind<'tcx>