Struct rustc_middle::ty::fold::RegionFolder
source · pub struct RegionFolder<'a, 'tcx> {
tcx: TyCtxt<'tcx>,
current_index: DebruijnIndex,
fold_region_fn: &'a mut (dyn FnMut(Region<'tcx>, DebruijnIndex) -> Region<'tcx> + 'a),
}
Expand description
Folds over the substructure of a type, visiting its component types and all regions that occur free within it.
That is, Ty
can contain function or method types that bind
regions at the call site (ReLateBound
), and occurrences of
regions (aka “lifetimes”) that are bound within a type are not
visited by this folder; only regions that occur free will be
visited by fld_r
.
Fields§
§tcx: TyCtxt<'tcx>
§current_index: DebruijnIndex
Stores the index of a binder just outside the stuff we have
visited. So this begins as INNERMOST; when we pass through a
binder, it is incremented (via shift_in
).
fold_region_fn: &'a mut (dyn FnMut(Region<'tcx>, DebruijnIndex) -> Region<'tcx> + 'a)
Callback invokes for each free region. The DebruijnIndex
points to the binder just outside the ones we have passed
through.
Implementations§
source§impl<'a, 'tcx> RegionFolder<'a, 'tcx>
impl<'a, 'tcx> RegionFolder<'a, 'tcx>
pub fn new( tcx: TyCtxt<'tcx>, fold_region_fn: &'a mut dyn FnMut(Region<'tcx>, DebruijnIndex) -> Region<'tcx> ) -> RegionFolder<'a, 'tcx>
Trait Implementations§
source§impl<'a, 'tcx> TypeFolder<TyCtxt<'tcx>> for RegionFolder<'a, 'tcx>
impl<'a, 'tcx> TypeFolder<TyCtxt<'tcx>> for RegionFolder<'a, 'tcx>
Auto Trait Implementations§
impl<'a, 'tcx> !RefUnwindSafe for RegionFolder<'a, 'tcx>
impl<'a, 'tcx> !Send for RegionFolder<'a, 'tcx>
impl<'a, 'tcx> !Sync for RegionFolder<'a, 'tcx>
impl<'a, 'tcx> Unpin for RegionFolder<'a, 'tcx>
impl<'a, 'tcx> !UnwindSafe for RegionFolder<'a, 'tcx>
Blanket Implementations§
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
source§impl<I, F> FallibleTypeFolder<I> for Fwhere
I: Interner,
F: TypeFolder<I>,
impl<I, F> FallibleTypeFolder<I> for Fwhere I: Interner, F: TypeFolder<I>,
type Error = !
fn interner(&self) -> I
fn try_fold_binder<T>( &mut self, t: <I as Interner>::Binder<T> ) -> Result<<I as Interner>::Binder<T>, !>where T: TypeFoldable<I>, <I as Interner>::Binder<T>: TypeSuperFoldable<I>,
fn try_fold_ty( &mut self, t: <I as Interner>::Ty ) -> Result<<I as Interner>::Ty, !>where <I as Interner>::Ty: TypeSuperFoldable<I>,
fn try_fold_region( &mut self, r: <I as Interner>::Region ) -> Result<<I as Interner>::Region, !>
fn try_fold_const( &mut self, c: <I as Interner>::Const ) -> Result<<I as Interner>::Const, !>where <I as Interner>::Const: TypeSuperFoldable<I>,
fn try_fold_predicate( &mut self, p: <I as Interner>::Predicate ) -> Result<<I as Interner>::Predicate, !>where <I as Interner>::Predicate: TypeSuperFoldable<I>,
source§impl<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
source§impl<'tcx, T> ToPredicate<'tcx, T> for T
impl<'tcx, T> ToPredicate<'tcx, T> for T
fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> T
source§impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
impl<Tcx, T> Value<Tcx> for Twhere Tcx: DepContext,
default fn from_cycle_error( tcx: Tcx, cycle: &[QueryInfo], _guar: ErrorGuaranteed ) -> T
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 32 bytes