Enum RegionVariableOrigin
pub enum RegionVariableOrigin<'tcx> {
Misc(Span),
PatternRegion(Span),
BorrowRegion(Span),
Autoref(Span),
Coercion(Span),
RegionParameterDefinition(Span, Symbol),
BoundRegion(Span, BoundRegionKind, BoundRegionConversionTime),
UpvarRegion(UpvarId, Span),
Nll(NllRegionVariableOrigin<'tcx>),
}Expand description
Reasons to create a region inference variable.
See error_reporting module for more details.
Variants§
Misc(Span)
Region variables created for ill-categorized reasons.
They mostly indicate places in need of refactoring.
PatternRegion(Span)
Regions created by a &P or [...] pattern.
BorrowRegion(Span)
Regions created by & operator.
Autoref(Span)
Regions created as part of an autoref of a method receiver.
Coercion(Span)
Regions created as part of an automatic coercion.
RegionParameterDefinition(Span, Symbol)
Region variables created as the values for early-bound regions.
FIXME(@lcnr): This should also store a DefId, similar to
TypeVariableOrigin.
BoundRegion(Span, BoundRegionKind, BoundRegionConversionTime)
Region variables created when instantiating a binder with existential variables, e.g. when calling a function or method.
UpvarRegion(UpvarId, Span)
Nll(NllRegionVariableOrigin<'tcx>)
This origin is used for the inference variables that we create during NLL region processing.
Implementations§
§impl<'tcx> RegionVariableOrigin<'tcx>
impl<'tcx> RegionVariableOrigin<'tcx>
Trait Implementations§
§impl<'tcx> Clone for RegionVariableOrigin<'tcx>
impl<'tcx> Clone for RegionVariableOrigin<'tcx>
§fn clone(&self) -> RegionVariableOrigin<'tcx>
fn clone(&self) -> RegionVariableOrigin<'tcx>
1.0.0 · Source§fn clone_from(&mut self, source: &Self)
fn clone_from(&mut self, source: &Self)
source. Read more§impl<'tcx> Debug for RegionVariableOrigin<'tcx>
impl<'tcx> Debug for RegionVariableOrigin<'tcx>
impl<'tcx> Copy for RegionVariableOrigin<'tcx>
Auto Trait Implementations§
impl<'tcx> DynSend for RegionVariableOrigin<'tcx>
impl<'tcx> DynSync for RegionVariableOrigin<'tcx>
impl<'tcx> Freeze for RegionVariableOrigin<'tcx>
impl<'tcx> RefUnwindSafe for RegionVariableOrigin<'tcx>
impl<'tcx> Send for RegionVariableOrigin<'tcx>
impl<'tcx> Sync for RegionVariableOrigin<'tcx>
impl<'tcx> Unpin for RegionVariableOrigin<'tcx>
impl<'tcx> UnwindSafe for RegionVariableOrigin<'tcx>
Blanket Implementations§
Source§impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
fn allocate_on(self, arena: &'tcx Arena<'tcx>) -> &'tcx mut T
fn allocate_from_iter( arena: &'tcx Arena<'tcx>, iter: impl IntoIterator<Item = T>, ) -> &'tcx mut [T]
Source§impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
fn allocate_on(self, arena: &'tcx Arena<'tcx>) -> &'tcx mut T
fn allocate_from_iter( arena: &'tcx Arena<'tcx>, iter: impl IntoIterator<Item = T>, ) -> &'tcx mut [T]
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> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
Source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
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<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:
Misc: 12 bytesPatternRegion: 12 bytesBorrowRegion: 12 bytesAutoref: 12 bytesCoercion: 12 bytesRegionParameterDefinition: 16 bytesBoundRegion: 24 bytesUpvarRegion: 24 bytesNll: 20 bytes