Enum rustc_resolve::late::RibKind
source · pub(crate) enum RibKind<'a> {
NormalRibKind,
AssocItemRibKind,
ClosureOrAsyncRibKind,
ItemRibKind(HasGenericParams),
ConstantItemRibKind(ConstantHasGenerics, Option<(Ident, ConstantItemKind)>),
ModuleRibKind(&'a ModuleData<'a>),
MacroDefinition(DefId),
ForwardGenericParamBanRibKind,
ConstParamTyRibKind,
InlineAsmSymRibKind,
}
Expand description
The rib kind restricts certain accesses,
e.g. to a Res::Local
of an outer item.
Variants§
NormalRibKind
No restriction needs to be applied.
AssocItemRibKind
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).
ClosureOrAsyncRibKind
We passed through a closure. Disallow labels.
ItemRibKind(HasGenericParams)
We passed through an item scope. Disallow upvars.
ConstantItemRibKind(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.
ModuleRibKind(&'a ModuleData<'a>)
We passed through a module.
MacroDefinition(DefId)
We passed through a macro_rules!
statement
ForwardGenericParamBanRibKind
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.
ConstParamTyRibKind
We are inside of the type of a const parameter. Can’t refer to any parameters.
InlineAsmSymRibKind
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> !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§
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:
NormalRibKind
: 0 bytesAssocItemRibKind
: 0 bytesClosureOrAsyncRibKind
: 0 bytesItemRibKind
: 15 bytesConstantItemRibKind
: 19 bytesModuleRibKind
: 15 bytesMacroDefinition
: 11 bytesForwardGenericParamBanRibKind
: 0 bytesConstParamTyRibKind
: 0 bytesInlineAsmSymRibKind
: 0 bytes