Enum LifetimeElisionKind

pub enum LifetimeElisionKind {
    AnonymousCreateParameter {
        report_in_path: bool,
    },
    Elided(Lifetime<Interner>),
    AnonymousReportError,
    StaticIfNoLifetimeInScope {
        only_lint: bool,
    },
    ElisionFailure,
    Infer,
}

Variants

AnonymousCreateParameter

Create a new anonymous lifetime parameter and reference it.

If report_in_path, report an error when encountering lifetime elision in a path:

struct Foo<'a> { x: &'a () }
async fn foo(x: Foo) {}

Note: the error should not trigger when the elided lifetime is in a pattern or expression-position path:

struct Foo<'a> { x: &'a () }
async fn foo(Foo { x: _ }: Foo<'_>) {}

Fields

report_in_path: bool

Elided(Lifetime<Interner>)

Replace all anonymous lifetimes by provided lifetime.

AnonymousReportError

Give a hard error when either & or '_ is written. Used to rule out things like where T: Foo<'_>. Does not imply an error on default object bounds (e.g., Box<dyn Foo>).

StaticIfNoLifetimeInScope

Resolves elided lifetimes to 'static if there are no other lifetimes in scope, otherwise give a warning that the previous behavior of introducing a new early-bound lifetime is a bug and will be removed (if only_lint is enabled).

Fields

only_lint: bool

ElisionFailure

Signal we cannot find which should be the anonymous lifetime.

Infer

Infer all elided lifetimes.

Trait Implementations

impl Clone for LifetimeElisionKind

fn clone(&self) -> LifetimeElisionKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for LifetimeElisionKind

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

Formats the value using the given formatter.