Enum LifetimeKind

Source

pub enum LifetimeKind {
    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 (which gets converted to '_). The semantics of this lifetime should be inferred by typechecking code.

§

Static

User wrote 'static or nothing (which gets converted to '_).

Enum LifetimeKindCopy item path

Variants§

Param(LocalDefId)

ImplicitObjectLifetimeDefault

Error

Infer

Static

Implementations§

impl LifetimeKind

fn is_elided(&self) -> bool

Trait Implementations§

impl Clone for LifetimeKind

fn clone(&self) -> LifetimeKind

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

impl Debug for LifetimeKind

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

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

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

impl PartialEq for LifetimeKind

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

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

impl Copy for LifetimeKind

impl Eq for LifetimeKind

impl StructuralPartialEq for LifetimeKind

Auto Trait Implementations§

impl DynSend for LifetimeKind

impl DynSync for LifetimeKind

impl Freeze for LifetimeKind

impl RefUnwindSafe for LifetimeKind

impl Send for LifetimeKind

impl Sync for LifetimeKind

impl Unpin for LifetimeKind

impl UnwindSafe for LifetimeKind

Blanket Implementations§

impl<T> Aligned for T

const ALIGN: Alignment

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(self, arena: &'tcx Arena<'tcx>) -> &'tcx mut T

fn allocate_from_iter( arena: &'tcx Arena<'tcx>, iter: impl IntoIterator<Item = T>, ) -> &'tcx 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> CloneToUninit for Twhere T: Clone,

unsafe fn clone_to_uninit(&self, dest: *mut u8)

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<Q, K> Equivalent<K> for Qwhere Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

fn equivalent(&self, key: &K) -> bool

impl<T> From<T> for T

fn from(t: T) -> T

impl<T> Instrument for T

fn instrument(self, span: Span) -> Instrumented<Self>

fn in_current_span(self) -> Instrumented<Self>

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

fn into(self) -> U

impl<T> IntoEither for T

fn into_either(self, into_left: bool) -> Either<Self, Self>

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>where F: FnOnce(&Self) -> bool,

impl<T> Pointable for T

const ALIGN: usize

type Init = T

unsafe fn init(init: <T as Pointable>::Init) -> usize

unsafe fn deref<'a>(ptr: usize) -> &'a T

unsafe fn deref_mut<'a>(ptr: usize) -> &'a mut T

unsafe fn drop(ptr: usize)

impl<T> Same for T

type Output = T

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>

Enum LifetimeKind

impl<CTX> HashStable<CTX> for LifetimeKind
where __CTX: HashStableContext,

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

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

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

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

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

impl<T> CloneToUninit for T
where T: Clone,

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

impl<Q, K> Equivalent<K> for Q
where Q: Eq + ?Sized, K: Borrow<Q> + ?Sized,

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

fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
where F: FnOnce(&Self) -> bool,

impl<T> ToOwned for T
where T: Clone,

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

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

impl<V, T> VZip<V> for T
where V: MultiLane<T>,

fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
where S: Into<Dispatch>,