Struct rustc_traits::chalk::lowering::RegionsSubstitutor

pub(crate) struct RegionsSubstitutor<'tcx> {
    tcx: TyCtxt<'tcx>,
    reempty_placeholder: Region<'tcx>,
}

Used to substitute specific Regionss with placeholders.

Fields

tcx: TyCtxt<'tcx>

reempty_placeholder: Region<'tcx>

Implementations

impl<'tcx> RegionsSubstitutor<'tcx>

pub(crate) fn new(tcx: TyCtxt<'tcx>, reempty_placeholder: Region<'tcx>) -> Self

Trait Implementations

impl<'tcx> TypeFolder<'tcx> for RegionsSubstitutor<'tcx>

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

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

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

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

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

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