Enum PropertyAccessClassification 

pub enum PropertyAccessClassification {
    Direct(TypeId),
    SymbolRef(SymbolRef),
    TypeQuery(SymbolRef),
    Application {
        app_id: TypeApplicationId,
    },
    Union(Vec<TypeId>),
    Intersection(Vec<TypeId>),
    IndexAccess {
        object: TypeId,
        index: TypeId,
    },
    Readonly(TypeId),
    Callable(TypeId),
    TypeParameter {
        constraint: Option<TypeId>,
    },
    NeedsEvaluation(TypeId),
    Resolved(TypeId),
}

Classification for property access resolution.

Variants

Direct(TypeId)

Direct object type that can have properties accessed

SymbolRef(SymbolRef)

Symbol reference - needs resolution first

TypeQuery(SymbolRef)

Type query (typeof) - needs symbol resolution

Application

Generic application - needs instantiation

Fields

app_id: TypeApplicationId

Union(Vec<TypeId>)

Union - access on each member

Intersection(Vec<TypeId>)

Intersection - access on each member

IndexAccess

Index access - needs evaluation

Fields

object: TypeId

index: TypeId

Readonly(TypeId)

Readonly wrapper - unwrap and continue

Callable(TypeId)

Callable type - may need Function interface expansion

TypeParameter

Type parameter with constraint

Fields

constraint: Option<TypeId>

NeedsEvaluation(TypeId)

Needs evaluation (Conditional, Mapped, KeyOf)

Resolved(TypeId)

Primitive or resolved type

Trait Implementations

impl Clone for PropertyAccessClassification

fn clone(&self) -> PropertyAccessClassification

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PropertyAccessClassification

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

Formats the value using the given formatter.