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.
Implementations§
source§impl RibKind<'_>
impl RibKind<'_>
sourcepub(crate) fn contains_params(&self) -> bool
pub(crate) fn contains_params(&self) -> bool
Whether this rib kind contains generic parameters, as opposed to local variables.
sourcefn is_label_barrier(self) -> bool
fn is_label_barrier(self) -> bool
This rib forbids referring to labels defined in upwards ribs.
Trait Implementations§
impl<'a> Copy for RibKind<'a>
Auto Trait Implementations§
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§
source§impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
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]
source§impl<'tcx, T> ArenaAllocatable<'tcx, IsCopy> for Twhere
T: Copy,
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]
source§impl<T> BorrowMut<T> for Twhere
T: ?Sized,
impl<T> BorrowMut<T> for Twhere
T: ?Sized,
source§fn borrow_mut(&mut self) -> &mut T
fn borrow_mut(&mut self) -> &mut T
source§impl<T> CloneToUninit for Twhere
T: Clone,
impl<T> CloneToUninit for Twhere
T: Clone,
source§unsafe fn clone_to_uninit(&self, dst: *mut T)
unsafe fn clone_to_uninit(&self, dst: *mut T)
clone_to_uninit
)source§impl<T, R> CollectAndApply<T, R> for T
impl<T, R> CollectAndApply<T, R> for T
source§impl<T> Filterable for T
impl<T> Filterable for T
source§fn filterable(
self,
filter_name: &'static str,
) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
fn filterable( self, filter_name: &'static str, ) -> RequestFilterDataProvider<T, fn(_: DataRequest<'_>) -> bool>
source§impl<T> Instrument for T
impl<T> Instrument for T
source§fn instrument(self, span: Span) -> Instrumented<Self>
fn instrument(self, span: Span) -> Instrumented<Self>
source§fn in_current_span(self) -> Instrumented<Self>
fn in_current_span(self) -> Instrumented<Self>
source§impl<T> IntoEither for T
impl<T> IntoEither for T
source§fn into_either(self, into_left: bool) -> Either<Self, Self>
fn into_either(self, into_left: bool) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left
is true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
fn into_either_with<F>(self, into_left: F) -> Either<Self, Self>
self
into a Left
variant of Either<Self, Self>
if into_left(&self)
returns true
.
Converts self
into a Right
variant of Either<Self, Self>
otherwise. Read moresource§impl<P> IntoQueryParam<P> for P
impl<P> IntoQueryParam<P> for P
fn into_query_param(self) -> P
source§impl<T> MaybeResult<T> for T
impl<T> MaybeResult<T> for T
source§impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
impl<I, T, U> Upcast<I, U> for Twhere
U: UpcastFrom<I, T>,
source§impl<I, T> UpcastFrom<I, T> for T
impl<I, T> UpcastFrom<I, T> for T
fn upcast_from(from: T, _tcx: I) -> T
source§impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
impl<Tcx, T> Value<Tcx> for Twhere
Tcx: DepContext,
default fn from_cycle_error( tcx: Tcx, cycle_error: &CycleError, _guar: ErrorGuaranteed, ) -> T
source§impl<T> WithSubscriber for T
impl<T> WithSubscriber for T
source§fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
fn with_subscriber<S>(self, subscriber: S) -> WithDispatch<Self>
source§fn with_current_subscriber(self) -> WithDispatch<Self>
fn with_current_subscriber(self) -> WithDispatch<Self>
impl<'a, T> Captures<'a> for Twhere
T: ?Sized,
impl<T> ErasedDestructor for Twhere
T: 'static,
impl<T> MaybeSendSync for T
Layout§
Note: Most layout information is completely unstable and may even differ between compilations. The only exception is types with certain repr(...)
attributes. Please see the Rust Reference's “Type Layout” chapter for details on type layout guarantees.
Size: 24 bytes
Size for each variant:
Normal
: 0 bytesAssocItem
: 0 bytesFnOrCoroutine
: 0 bytesItem
: 15 bytesConstantItem
: 19 bytesModule
: 15 bytesMacroDefinition
: 11 bytesForwardGenericParamBan
: 0 bytesConstParamTy
: 0 bytesInlineAsmSym
: 0 bytes