Enum rustc_resolve::late::RibKind

pub(crate) enum RibKind<'a> {
    NormalRibKind,
    AssocItemRibKind,
    ClosureOrAsyncRibKind,
    FnItemRibKind,
    ItemRibKind(HasGenericParams),
    ConstantItemRibKind(bool),
    ModuleRibKind(&'a ModuleData<'a>),
    MacroDefinition(DefId),
    ForwardTyParamBanRibKind,
    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.

ConstantItemRibKind(bool)

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.

ModuleRibKind(&'a ModuleData<'a>)

We passed through a module.

MacroDefinition(DefId)

We passed through a macro_rules! statement

ForwardTyParamBanRibKind

All bindings in this rib are type parameters that can't be used from the default of a type parameter because they're not declared before said type 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>

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

Returns a copy of the value.

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

Performs copy-assignment from source.

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

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

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

Formats the value using the given formatter.