Enum rustc_mir::borrow_check::diagnostics::region_name::RegionNameSource

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),
}

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

impl Clone for RegionNameSource

fn clone(&self) -> RegionNameSource

Returns a copy of the value.

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

Performs copy-assignment from source.

impl Debug for RegionNameSource

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

Formats the value using the given formatter.

Layout

Note: Most layout information is completely unstable and may be different between compiler versions and platforms. 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