Enum rustc_resolve::late::RibKind

pub(crate) enum RibKind<'a> {
    NormalRibKind,
    AssocItemRibKind,
    ClosureOrAsyncRibKind,
    FnItemRibKind,
    ItemRibKind(HasGenericParams),
    ConstantItemRibKind(bool, Option<(Ident, ConstantItemKind)>),
    ModuleRibKind(&'a ModuleData<'a>),
    MacroDefinition(DefId),
    ForwardGenericParamBanRibKind,
    ConstParamTyRibKind,
}

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.

FnItemRibKind

We passed through a function definition. Disallow upvars. Permit only those const parameters that are specified in the function’s generics.

ItemRibKind(HasGenericParams)

We passed through an item scope. Disallow upvars.

Tuple Fields of ItemRibKind

0: HasGenericParams

ConstantItemRibKind(bool, Option<(Ident, ConstantItemKind)>)

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

The bool indicates if this constant may reference generic parameters and is used to only allow generic parameters to be used in trivial constant expressions.

Tuple Fields of ConstantItemRibKind

0: bool1: Option<(Ident, ConstantItemKind)>

ModuleRibKind(&'a ModuleData<'a>)

We passed through a module.

Tuple Fields of ModuleRibKind

0: &'a ModuleData<'a>

MacroDefinition(DefId)

We passed through a macro_rules! statement

Tuple Fields of MacroDefinition

0: DefId

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.

Implementations

impl RibKind<'_>

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

Whether this rib kind contains generic parameters, as opposed to local variables.

Trait Implementations

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

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

Formats the value using the given formatter.

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

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 bytes
• AssocItemRibKind: 0 bytes
• ClosureOrAsyncRibKind: 0 bytes
• FnItemRibKind: 0 bytes
• ItemRibKind: 1 byte
• ConstantItemRibKind: 19 bytes
• ModuleRibKind: 15 bytes
• MacroDefinition: 11 bytes
• ForwardGenericParamBanRibKind: 0 bytes
• ConstParamTyRibKind: 0 bytes