Struct rustc_middle::ty::fold::Shifter

pub(in ty::fold) struct Shifter<'tcx> {
    tcx: TyCtxt<'tcx>,
    current_index: DebruijnIndex,
    amount: u32,
}

Fields

tcx: TyCtxt<'tcx>

current_index: DebruijnIndex

amount: u32

Implementations

impl<'tcx> Shifter<'tcx>

pub fn new(tcx: TyCtxt<'tcx>, amount: u32) -> Self

Trait Implementations

impl<'tcx> TypeFolder<'tcx> for Shifter<'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_region(&mut self, r: Region<'tcx>) -> Region<'tcx>

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

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