Enum NameClass

pub enum NameClass<'db> {
    Definition(Definition),
    ConstReference(Definition),
    PatFieldShorthand {
        local_def: Local,
        field_ref: Field,
        adt_subst: GenericSubstitution<'db>,
    },
}

On a first blush, a single ast::Name defines a single definition at some scope. That is, that, by just looking at the syntactical category, we can unambiguously define the semantic category.

Sadly, that’s not 100% true, there are special cases. To make sure that callers handle all the special cases correctly via exhaustive matching, we add a NameClass enum which lists all of them!

A model special case is None constant in pattern.

Variants

Definition(Definition)

ConstReference(Definition)

None in if let None = Some(82) {}. Syntactically, it is a name, but semantically it is a reference.

PatFieldShorthand

field in if let Foo { field } = foo. Here, ast::Name both introduces a definition into a local scope, and refers to an existing definition.

Fields

local_def: Local

field_ref: Field

adt_subst: GenericSubstitution<'db>

Implementations

impl<'db> NameClass<'db>

pub fn defined(self) -> Option<Definition>

Definition defined by this name.

pub fn classify( sema: &Semantics<'db, RootDatabase>, name: &Name, ) -> Option<NameClass<'db>>

pub fn classify_lifetime( sema: &Semantics<'db, RootDatabase>, lifetime: &Lifetime, ) -> Option<NameClass<'db>>

Trait Implementations

impl<'db> Debug for NameClass<'db>

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

Formats the value using the given formatter.