Struct rustc_middle::ty::fold::BoundVarReplacer

pub(in ty::fold) struct BoundVarReplacer<'a, 'tcx> {
    tcx: TyCtxt<'tcx>,
    current_index: DebruijnIndex,
    fld_r: &'a mut (dyn FnMut(BoundRegion) -> Region<'tcx> + 'a),
    fld_t: &'a mut (dyn FnMut(BoundTy) -> Ty<'tcx> + 'a),
    fld_c: &'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: &'a mut (dyn FnMut(BoundRegion) -> Region<'tcx> + 'a)

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

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

Implementations

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

pub(in ty::fold) fn new<F, G, H>(
    tcx: TyCtxt<'tcx>,
    fld_r: &'a mut F,
    fld_t: &'a mut G,
    fld_c: &'a mut H
) -> Self where
    F: FnMut(BoundRegion) -> Region<'tcx>,
    G: FnMut(BoundTy) -> Ty<'tcx>,
    H: FnMut(BoundVar, Ty<'tcx>) -> &'tcx Const<'tcx>, 

Trait Implementations

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

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

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

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

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

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