Enum rustc_hir::LifetimeName

source ·

pub enum LifetimeName {
    Param(LocalDefId),
    ImplicitObjectLifetimeDefault,
    Error,
    Infer,
    Static,
}

Variants§

§

Param(LocalDefId)

User-given names or fresh (synthetic) names.

§

ImplicitObjectLifetimeDefault

Implicit lifetime in a context like dyn Foo. This is distinguished from implicit lifetimes elsewhere because the lifetime that they default to must appear elsewhere within the enclosing type. This means that, in an impl Trait context, we don’t have to create a parameter for them. That is, impl Trait<Item = &u32> expands to an opaque type like type Foo<'a> = impl Trait<Item = &'a u32>, but impl Trait<item = dyn Bar> expands to type Foo = impl Trait<Item = dyn Bar + 'static>. The latter uses ImplicitObjectLifetimeDefault so that surrounding code knows not to create a lifetime parameter.

§

Error

Indicates an error during lowering (usually '_ in wrong place) that was already reported.

§

Infer

User wrote an anonymous lifetime, either '_ or nothing. The semantics of this lifetime should be inferred by typechecking code.

§

Static

User wrote 'static.

Enum rustc_hir::LifetimeName

Variants§

Param(LocalDefId)

ImplicitObjectLifetimeDefault

Error

Infer

Static

Implementations§

impl LifetimeName

pub fn is_elided(&self) -> bool

Trait Implementations§

impl Clone for LifetimeName

fn clone(&self) -> LifetimeName

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

impl Debug for LifetimeName

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

impl<__CTX> HashStable<__CTX> for LifetimeNamewhere __CTX: HashStableContext,

fn hash_stable(&self, __hcx: &mut __CTX, __hasher: &mut StableHasher)

impl PartialEq<LifetimeName> for LifetimeName

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

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

impl Copy for LifetimeName

impl Eq for LifetimeName

impl StructuralEq for LifetimeName

impl StructuralPartialEq for LifetimeName

Auto Trait Implementations§

impl RefUnwindSafe for LifetimeName

impl Send for LifetimeName

impl Sync for LifetimeName

impl Unpin for LifetimeName

impl UnwindSafe for LifetimeName

Blanket Implementations§

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

fn type_id(&self) -> TypeId

impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere T: Copy,

fn allocate_on<'a>(self, arena: &'a Arena<'tcx>) -> &'a mut T

fn allocate_from_iter<'a>( arena: &'a Arena<'tcx>, iter: impl IntoIterator<Item = T> ) -> &'a mut [T]

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

fn borrow(&self) -> &T

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

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

impl<T> From<T> for T

fn from(t: T) -> T

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

fn into(self) -> U

impl<T> ToOwned for Twhere T: Clone,

type Owned = T

fn to_owned(&self) -> T

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

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

type Error = Infallible

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

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

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

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

Layout§

impl<CTX> HashStable<CTX> for LifetimeNamewhere __CTX: HashStableContext,

fn hash_stable(&self, hcx: &mut CTX, __hasher: &mut StableHasher)