Enum rustc_borrowck::diagnostics::region_name::RegionNameSource

source · [−]

pub(crate) enum RegionNameSource {
    NamedEarlyBoundRegion(Span),
    NamedFreeRegion(Span),
    Static,
    SynthesizedFreeEnvRegion(Span, String),
    AnonRegionFromArgument(RegionNameHighlight),
    AnonRegionFromUpvar(Span, String),
    AnonRegionFromOutput(RegionNameHighlight, String),
    AnonRegionFromYieldTy(Span, String),
    AnonRegionFromAsyncFn(Span),
}

Expand description

Denotes the source of a region that is named by a RegionName. For example, a free region that was named by the user would get NamedFreeRegion and 'static lifetime would get Static. This helps to print the right kinds of diagnostics.

Variants

`NamedEarlyBoundRegion(Span)`

A bound (not free) region that was substituted at the def site (not an HRTB).

`NamedFreeRegion(Span)`

A free region that the user has a name ('a) for.

`Static`

The 'static region.

`SynthesizedFreeEnvRegion(Span, String)`

The free region corresponding to the environment of a closure.

`AnonRegionFromArgument(RegionNameHighlight)`

The region corresponding to an argument.

`AnonRegionFromUpvar(Span, String)`

The region corresponding to a closure upvar.

`AnonRegionFromOutput(RegionNameHighlight, String)`

The region corresponding to the return type of a closure.

`AnonRegionFromYieldTy(Span, String)`

The region from a type yielded by a generator.

`AnonRegionFromAsyncFn(Span)`

An anonymous region from an async fn.

Trait Implementations

source

impl Clone for RegionNameSource

source

fn clone(&self) -> RegionNameSource

Returns a copy of the value. Read more

1.0.0 · source

fn clone_from(&mut self, source: &Self)

Performs copy-assignment from source. Read more

source

impl Debug for RegionNameSource

source

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Formats the value using the given formatter. Read more

Auto Trait Implementations

impl RefUnwindSafe for RegionNameSource

impl !Send for RegionNameSource

impl !Sync for RegionNameSource

impl Unpin for RegionNameSource

pub fn into(self) -> U

Performs the conversion.

source

impl<T> ToOwned for T where
T: Clone,

type Owned = T

The resulting type after obtaining ownership.

source

pub fn to_owned(&self) -> T

Creates owned data from borrowed data, usually by cloning. Read more

source

pub fn clone_into(&self, target: &mut T)

🔬 This is a nightly-only experimental API. (toowned_clone_into)

Uses borrowed data to replace owned data, usually by cloning. Read more

source

impl<T, U> TryFrom for T where
U: Into<T>,

type Error = Infallible

The type returned in the event of a conversion error.

const: unstable · source

pub fn try_from(value: U) -> Result<T, <T as TryFrom>::Error>

Performs the conversion.

source

impl<T, U> TryInto for T where
U: TryFrom<T>,

type Error = >::Error

The type returned in the event of a conversion error.

const: unstable · source

pub fn try_into(self) -> Result<U, >::Error>

Performs the conversion.

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: 72 bytes

Size for each variant:

NamedEarlyBoundRegion: 8 bytes
NamedFreeRegion: 8 bytes
Static: 0 bytes
SynthesizedFreeEnvRegion: 36 bytes
AnonRegionFromArgument: 44 bytes
AnonRegionFromUpvar: 36 bytes
AnonRegionFromOutput: 68 bytes
AnonRegionFromYieldTy: 36 bytes
AnonRegionFromAsyncFn: 8 bytes

Enum rustc_borrowck::diagnostics::region_name::RegionNameSource

Variants

NamedEarlyBoundRegion(Span)

NamedFreeRegion(Span)

Static

SynthesizedFreeEnvRegion(Span, String)

AnonRegionFromArgument(RegionNameHighlight)

AnonRegionFromUpvar(Span, String)

AnonRegionFromOutput(RegionNameHighlight, String)

AnonRegionFromYieldTy(Span, String)

AnonRegionFromAsyncFn(Span)

Trait Implementations

impl Clone for RegionNameSource

fn clone(&self) -> RegionNameSource

fn clone_from(&mut self, source: &Self)

impl Debug for RegionNameSource

fn fmt(&self, f: &mut Formatter<'_>) -> Result

Auto Trait Implementations

impl RefUnwindSafe for RegionNameSource

impl !Send for RegionNameSource

impl !Sync for RegionNameSource

impl Unpin for RegionNameSource

impl UnwindSafe for RegionNameSource

Blanket Implementations

impl<T> Any for T where T: 'static + ?Sized,

pub fn type_id(&self) -> TypeId

impl<T> Borrow<T> for T where T: ?Sized,

pub fn borrow(&self) -> &T

impl<T> BorrowMut<T> for T where T: ?Sized,

pub fn borrow_mut(&mut self) -> &mut T

impl<T> From<T> for T

pub fn from(t: T) -> T

impl<T, U> Into<U> for T where U: From<T>,

pub fn into(self) -> U

impl<T> ToOwned for T where T: Clone,

type Owned = T

pub fn to_owned(&self) -> T

pub fn clone_into(&self, target: &mut T)

impl<T, U> TryFrom<U> for T where U: Into<T>,

type Error = Infallible

pub fn try_from(value: U) -> Result<T, <T as TryFrom<U>>::Error>

impl<T, U> TryInto<U> for T where U: TryFrom<T>,

type Error = <U as TryFrom<T>>::Error

pub fn try_into(self) -> Result<U, <U as TryFrom<T>>::Error>

Layout

`NamedEarlyBoundRegion(Span)`

`NamedFreeRegion(Span)`

`Static`

`SynthesizedFreeEnvRegion(Span, String)`

`AnonRegionFromArgument(RegionNameHighlight)`

`AnonRegionFromUpvar(Span, String)`

`AnonRegionFromOutput(RegionNameHighlight, String)`

`AnonRegionFromYieldTy(Span, String)`

`AnonRegionFromAsyncFn(Span)`

impl<T> Any for T where
T: 'static + ?Sized,

impl<T> Borrow<T> for T where
T: ?Sized,

impl<T> BorrowMut<T> for T where
T: ?Sized,

impl<T, U> Into<U> for T where
U: From<T>,

impl<T> ToOwned for T where
T: Clone,

impl<T, U> TryFrom<U> for T where
U: Into<T>,

impl<T, U> TryInto<U> for T where
U: TryFrom<T>,