Enum SymbolResolutionTraversalKind 

pub enum SymbolResolutionTraversalKind {
    Application {
        app_id: TypeApplicationId,
        base: TypeId,
        args: Vec<TypeId>,
    },
    Lazy(DefId),
    TypeParameter {
        constraint: Option<TypeId>,
        default: Option<TypeId>,
    },
    Members(Vec<TypeId>),
    Function(FunctionShapeId),
    Callable(CallableShapeId),
    Object(ObjectShapeId),
    Array(TypeId),
    Tuple(TupleListId),
    Conditional(ConditionalTypeId),
    Mapped(MappedTypeId),
    Readonly(TypeId),
    IndexAccess {
        object: TypeId,
        index: TypeId,
    },
    KeyOf(TypeId),
    Terminal,
}

Classification for traversing types to resolve symbols. Used by ensure_application_symbols_resolved_inner.

Variants

Application

Application type - resolve base symbol and recurse

Fields

app_id: TypeApplicationId

base: TypeId

args: Vec<TypeId>

Lazy(DefId)

Lazy(DefId) type - resolve via DefId

TypeParameter

Type parameter - recurse into constraint/default

Fields

constraint: Option<TypeId>

default: Option<TypeId>

Members(Vec<TypeId>)

Union or Intersection - recurse into members

Function(FunctionShapeId)

Function type - recurse into signature components

Callable(CallableShapeId)

Callable type - recurse into signatures

Object(ObjectShapeId)

Object type - recurse into properties and index signatures

Array(TypeId)

Array type - recurse into element

Tuple(TupleListId)

Tuple type - recurse into elements

Conditional(ConditionalTypeId)

Conditional type - recurse into all branches

Mapped(MappedTypeId)

Mapped type - recurse into constraint, template, name_type

Readonly(TypeId)

Readonly wrapper - recurse into inner

IndexAccess

Index access - recurse into both types

Fields

object: TypeId

index: TypeId

KeyOf(TypeId)

KeyOf - recurse into inner

Terminal

Terminal type - no further traversal needed

Trait Implementations

impl Clone for SymbolResolutionTraversalKind

fn clone(&self) -> SymbolResolutionTraversalKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for SymbolResolutionTraversalKind

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

Formats the value using the given formatter.