Enum DotAccessKind 

pub enum DotAccessKind {
    StructField {
        is_exported: bool,
    },
    TupleStructField {
        is_newtype: bool,
    },
    TupleElement,
    ModuleMember,
    ValueEnumVariant,
    EnumVariant,
    InstanceMethod {
        is_exported: bool,
    },
    InstanceMethodValue {
        is_exported: bool,
        is_pointer_receiver: bool,
    },
    StaticMethod {
        is_exported: bool,
    },
}

What a dot access resolved to during type checking.

Pre-computed in semantics to avoid re-derivation in the emitter. The emitter can use this to skip cascading try_classify_* lookups. is_exported indicates whether the Go name should be capitalized.

Variants

StructField

Named struct field access

Fields

is_exported: bool

TupleStructField

Tuple struct field access (e.g., point.0 on struct Point(int, int)). is_newtype is true when the struct has exactly 1 field and no generics, meaning access should emit a type cast rather than .F0.

Fields

is_newtype: bool

TupleElement

Tuple element access (e.g., t.0, t.1)

ModuleMember

Module member access (e.g., mod.func)

ValueEnumVariant

Value enum variant (Go constant, e.g., reflect.String)

EnumVariant

ADT enum variant constructor (e.g., makeColorRed[T]())

InstanceMethod

Instance method (has self receiver)

Fields

is_exported: bool

InstanceMethodValue

Instance method used as a first-class value (not called). E.g., Point.area used as a callback. The emitter needs to know whether the receiver is a pointer to emit Go method expression syntax.

Fields

is_exported: bool

is_pointer_receiver: bool

StaticMethod

Static method (no self receiver)

Fields

is_exported: bool

Trait Implementations

impl Clone for DotAccessKind

fn clone(&self) -> DotAccessKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for DotAccessKind

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

Formats the value using the given formatter.

impl PartialEq for DotAccessKind

fn eq(&self, other: &DotAccessKind) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Copy for DotAccessKind

impl Eq for DotAccessKind

impl StructuralPartialEq for DotAccessKind