Enum rustc_typeck::astconv::ExplicitLateBound

pub enum ExplicitLateBound {
    Yes,
    No,
}

New-typed boolean indicating whether explicit late-bound lifetimes are present in a set of generic arguments.

For example if we have some method fn f<'a>(&'a self) implemented for some type T, although f is generic in the lifetime 'a, 'a is late-bound so should not be provided explicitly. Thus, if f is instantiated with some generic arguments providing 'a explicitly, we taint those arguments with ExplicitLateBound::Yes so that we can provide an appropriate diagnostic later.

Variants

Yes

No

Trait Implementations

impl Clone for ExplicitLateBound

fn clone(&self) -> ExplicitLateBound

Returns a copy of the value.

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

Performs copy-assignment from source.

impl PartialEq<ExplicitLateBound> for ExplicitLateBound

fn eq(&self, other: &ExplicitLateBound) -> bool

This method tests for self and other values to be equal, and is used by ==.

#[must_use]

fn ne(&self, other: &Rhs) -> bool

This method tests for !=.

impl Copy for ExplicitLateBound

impl StructuralPartialEq for ExplicitLateBound