Struct rustc_middle::ty::normalize_erasing_regions::NormalizeAfterErasingRegionsFolder

pub(in ty::normalize_erasing_regions) struct NormalizeAfterErasingRegionsFolder<'tcx> {
    tcx: TyCtxt<'tcx>,
    param_env: ParamEnv<'tcx>,
}

Fields

tcx: TyCtxt<'tcx>

param_env: ParamEnv<'tcx>

Trait Implementations

impl<'tcx> TypeFolder<'tcx> for NormalizeAfterErasingRegionsFolder<'tcx>

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

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

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

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

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