Enum LifetimeElisionKind 

pub enum LifetimeElisionKind<'db> {
    AnonymousCreateParameter {
        report_in_path: bool,
    },
    Elided(Region<'db>),
    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(Region<'db>)

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<'db> Clone for LifetimeElisionKind<'db>

fn clone(&self) -> LifetimeElisionKind<'db>

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl<'db> Debug for LifetimeElisionKind<'db>

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

Formats the value using the given formatter.