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, function pointer types and trait object can introduce
new bound regions which are not visited by this visitors as
they are not free; 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>
fn cx(&self) -> TyCtxt<'tcx>
fn fold_binder<T: TypeFoldable<TyCtxt<'tcx>>>( &mut self, t: Binder<'tcx, T>, ) -> Binder<'tcx, T>
fn fold_region(&mut self, r: Region<'tcx>) -> Region<'tcx>
fn fold_ty(&mut self, t: <I as Interner>::Ty) -> <I as Interner>::Ty
fn fold_const(&mut self, c: <I as Interner>::Const) -> <I as Interner>::Const
fn fold_predicate( &mut self, p: <I as Interner>::Predicate, ) -> <I as Interner>::Predicate
Auto Trait Implementations§
impl<'a, 'tcx> !DynSend for RegionFolder<'a, 'tcx>
impl<'a, 'tcx> !DynSync for RegionFolder<'a, 'tcx>
impl<'a, 'tcx> Freeze for RegionFolder<'a, 'tcx>
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 cx(&self) -> I
fn try_fold_binder<T>(&mut self, t: Binder<I, T>) -> Result<Binder<I, T>, !>where
T: TypeFoldable<I>,
fn try_fold_ty( &mut self, t: <I as Interner>::Ty, ) -> Result<<I as Interner>::Ty, !>
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, !>
fn try_fold_predicate( &mut self, p: <I as Interner>::Predicate, ) -> Result<<I as Interner>::Predicate, !>
Source§impl<T> Filterable for T
impl<T> Filterable for T
Source§fn filterable(
self,
filter_name: &'static str,
) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
Source§impl<T> Instrument for T
impl<T> Instrument for T
Source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
Source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
Source§impl<T> IntoEither for T
impl<T> IntoEither for T
Source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moreSource§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<T> Pointable for T
impl<T> Pointable for T
Source§impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
Source§impl<I, T> UpcastFrom<I, T> for T
impl<I, T> UpcastFrom<I, T> for T
fn upcast_from(from: T, _tcx: I) -> 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_error: &CycleError, _guar: ErrorGuaranteed, ) -> T
Source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
Source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
Source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<T> ErasedDestructor for Twhere
T: 'static,
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