pub(crate) enum RegionElement<'tcx> {
Location(Location),
RootUniversalRegion(RegionVid),
PlaceholderRegion(PlaceholderRegion<'tcx>),
}Expand description
An individual element in a region value – the value of a particular region variable consists of a set of these elements.
Variants§
Location(Location)
A point in the control-flow graph.
RootUniversalRegion(RegionVid)
A universally quantified region from the root universe (e.g., a lifetime parameter).
PlaceholderRegion(PlaceholderRegion<'tcx>)
A placeholder (e.g., instantiated from a for<'a> fn(&'a u32)
type).
Trait Implementations§
Source§impl<'tcx> Clone for RegionElement<'tcx>
impl<'tcx> Clone for RegionElement<'tcx>
Source§fn clone(&self) -> RegionElement<'tcx>
fn clone(&self) -> RegionElement<'tcx>
Returns a duplicate of the value. Read more
1.0.0§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
Performs copy-assignment from
source. Read moreSource§impl<'tcx> Debug for RegionElement<'tcx>
impl<'tcx> Debug for RegionElement<'tcx>
Source§impl<'tcx> PartialEq for RegionElement<'tcx>
impl<'tcx> PartialEq for RegionElement<'tcx>
impl<'tcx> StructuralPartialEq for RegionElement<'tcx>
Auto Trait Implementations§
impl<'tcx> DynSend for RegionElement<'tcx>
impl<'tcx> DynSync for RegionElement<'tcx>
impl<'tcx> Freeze for RegionElement<'tcx>
impl<'tcx> RefUnwindSafe for RegionElement<'tcx>
impl<'tcx> Send for RegionElement<'tcx>
impl<'tcx> Sync for RegionElement<'tcx>
impl<'tcx> Unpin for RegionElement<'tcx>
impl<'tcx> UnwindSafe for RegionElement<'tcx>
Blanket Implementations§
§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
Mutably borrows from an owned value. Read more
§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
§unsafe fn clone_to_uninit(&self, dest: *mut u8)
unsafe fn clone_to_uninit(&self, dest: *mut u8)
🔬This is a nightly-only experimental API. (
clone_to_uninit)§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
§impl<T> Instrument for T
impl<T> Instrument for T
§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
§impl<T> IntoEither for T
impl<T> IntoEither for T
§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
Converts
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 more§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
Converts
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 more§impl<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
§impl<T> Pointable for T
impl<T> Pointable for T
§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>,
§impl<I, T> UpcastFrom<I, T> for T
impl<I, T> UpcastFrom<I, T> for T
fn upcast_from(from: T, _tcx: I) -> T
§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
§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
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: 24 bytes
Size for each variant:
Location: 20 bytesRootUniversalRegion: 4 bytesPlaceholderRegion: 16 bytes