Enum rustc_resolve::late::LifetimeRibKind

source ·

enum LifetimeRibKind {
    Generics {
        binder: NodeId,
        span: Span,
        kind: LifetimeBinderKind,
    },
    AnonymousCreateParameter {
        binder: NodeId,
        report_in_path: bool,
    },
    Elided(LifetimeRes),
    AnonymousReportError,
    AnonymousWarn(NodeId),
    ElisionFailure,
    ConstParamTy,
    ConcreteAnonConst(NoConstantGenericsReason),
    Item,
}

Variants§

§

Generics

Fields

§binder: NodeId

§span: Span

§kind: LifetimeBinderKind

This rib declares generic parameters. Only for this kind the LifetimeRib::bindings field can be non-empty.

§

AnonymousCreateParameter

Fields

§binder: NodeId

§report_in_path: bool

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<'_>) {}

§

Elided(LifetimeRes)

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>).

§

AnonymousWarn(NodeId)

Resolves elided lifetimes to 'static, but gives a warning that this behavior is a bug and will be reverted soon.

§

ElisionFailure

Signal we cannot find which should be the anonymous lifetime.

§

ConstParamTy

This rib forbids usage of generic parameters inside of const parameter types.

While this is desirable to support eventually, it is difficult to do and so is currently forbidden. See rust-lang/project-const-generics#28 for more info.

§

ConcreteAnonConst(NoConstantGenericsReason)

Usage of generic parameters is forbidden in various positions for anon consts:

const arguments when generic_const_exprs is not enabled
enum discriminant values

This rib emits an error when a lifetime would resolve to a lifetime parameter.

§

Item

This rib acts as a barrier to forbid reference to lifetimes of a parent item.

Enum rustc_resolve::late::LifetimeRibKind

Variants§

Generics

Fields

AnonymousCreateParameter

Fields

Elided(LifetimeRes)

AnonymousReportError

AnonymousWarn(NodeId)

ElisionFailure

ConstParamTy

ConcreteAnonConst(NoConstantGenericsReason)

Item

Trait Implementations§

impl Clone for LifetimeRibKind

fn clone(&self) -> LifetimeRibKind

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

impl Debug for LifetimeRibKind

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

impl Copy for LifetimeRibKind

Auto Trait Implementations§

impl DynSend for LifetimeRibKind

impl DynSync for LifetimeRibKind

impl Freeze for LifetimeRibKind

impl RefUnwindSafe for LifetimeRibKind

impl Send for LifetimeRibKind

impl Sync for LifetimeRibKind

impl Unpin for LifetimeRibKind

impl UnwindSafe for LifetimeRibKind

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<'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<'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, R> CollectAndApply<T, R> for T

fn collect_and_apply<I, F>(iter: I, f: F) -> Rwhere I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

type Output = R

impl<T> Filterable for T

fn filterable( self, filter_name: &'static str ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> 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<P> IntoQueryParam<P> for P

fn into_query_param(self) -> P

impl<T> MaybeResult<T> for T

type Error = !

fn from(_: Result<T, <T as MaybeResult<T>>::Error>) -> T

fn to_result(self) -> Result<T, <T as MaybeResult<T>>::Error>

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<'tcx, T> ToPredicate<'tcx, T> for T

fn to_predicate(self, _tcx: TyCtxt<'tcx>) -> 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> Any for T
where T: 'static + ?Sized,

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

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,

fn collect_and_apply<I, F>(iter: I, f: F) -> R
where I: Iterator<Item = T>, F: FnOnce(&[T]) -> R,

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

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>,

impl<Tcx, T> Value<Tcx> for T
where Tcx: DepContext,

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

impl<'a, T> Captures<'a> for T
where T: ?Sized,

impl<T> ErasedDestructor for T
where T: 'static,

impl<T> MaybeSendSync for T
where T: Send + Sync,