Enum PropertyAccessResolutionKind 

pub enum PropertyAccessResolutionKind {
    Lazy(DefId),
    TypeQuery(SymbolRef),
    Application(TypeApplicationId),
    TypeParameter {
        constraint: Option<TypeId>,
    },
    NeedsEvaluation,
    Union(Vec<TypeId>),
    Intersection(Vec<TypeId>),
    Readonly(TypeId),
    FunctionLike,
    Resolved,
}

Classification for resolving types for property access.

Variants

Lazy(DefId)

Lazy type (DefId) - needs resolution to actual type

TypeQuery(SymbolRef)

TypeQuery (typeof) - resolve the symbol

Application(TypeApplicationId)

Application - needs evaluation

TypeParameter

Type parameter - follow constraint

Fields

constraint: Option<TypeId>

NeedsEvaluation

Complex types that need evaluation

Union(Vec<TypeId>)

Union - resolve each member

Intersection(Vec<TypeId>)

Intersection - resolve each member

Readonly(TypeId)

Readonly wrapper - unwrap

FunctionLike

Function or Callable - may need Function interface

Resolved

Already resolved

Trait Implementations

impl Clone for PropertyAccessResolutionKind

fn clone(&self) -> PropertyAccessResolutionKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for PropertyAccessResolutionKind

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

Formats the value using the given formatter.