Enum rustc_resolve::late::RibKind

source ·

pub(crate) enum RibKind<'a> {
    Normal,
    AssocItem,
    FnOrCoroutine,
    Item(HasGenericParams, DefKind),
    ConstantItem(ConstantHasGenerics, Option<(Ident, ConstantItemKind)>),
    Module(Module<'a>),
    MacroDefinition(DefId),
    ForwardGenericParamBan,
    ConstParamTy,
    InlineAsmSym,
}

Expand description

The rib kind restricts certain accesses, e.g. to a Res::Local of an outer item.

Variants§

§

Normal

No restriction needs to be applied.

§

AssocItem

We passed through an impl or trait and are now in one of its methods or associated types. Allow references to ty params that impl or trait binds. Disallow any other upvars (including other ty params that are upvars).

§

FnOrCoroutine

We passed through a function, closure or coroutine signature. Disallow labels.

§

Item(HasGenericParams, DefKind)

We passed through an item scope. Disallow upvars.

§

ConstantItem(ConstantHasGenerics, Option<(Ident, ConstantItemKind)>)

We’re in a constant item. Can’t refer to dynamic stuff.

The item may reference generic parameters in trivial constant expressions. All other constants aren’t allowed to use generic params at all.

§

Module(Module<'a>)

We passed through a module.

§

MacroDefinition(DefId)

We passed through a macro_rules! statement

§

ForwardGenericParamBan

All bindings in this rib are generic parameters that can’t be used from the default of a generic parameter because they’re not declared before said generic parameter. Also see the visit_generics override.

§

ConstParamTy

We are inside of the type of a const parameter. Can’t refer to any parameters.

§

InlineAsmSym

We are inside a sym inline assembly operand. Can only refer to globals.

Enum rustc_resolve::late::RibKind

Variants§

Normal

AssocItem

FnOrCoroutine

Item(HasGenericParams, DefKind)

ConstantItem(ConstantHasGenerics, Option<(Ident, ConstantItemKind)>)

Module(Module<'a>)

MacroDefinition(DefId)

ForwardGenericParamBan

ConstParamTy

InlineAsmSym

Implementations§

impl RibKind<'_>

pub(crate) fn contains_params(&self) -> bool

fn is_label_barrier(self) -> bool

Trait Implementations§

impl<'a> Clone for RibKind<'a>

fn clone(&self) -> RibKind<'a>

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

impl<'a> Debug for RibKind<'a>

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

impl<'a> Copy for RibKind<'a>

Auto Trait Implementations§

impl<'a> !DynSend for RibKind<'a>

impl<'a> !DynSync for RibKind<'a>

impl<'a> Freeze for RibKind<'a>

impl<'a> !RefUnwindSafe for RibKind<'a>

impl<'a> !Send for RibKind<'a>

impl<'a> !Sync for RibKind<'a>

impl<'a> Unpin for RibKind<'a>

impl<'a> !UnwindSafe for RibKind<'a>

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