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>

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

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

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

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

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