Enum InstanceTypeKind 

pub enum InstanceTypeKind {
    Callable(CallableShapeId),
    Function(FunctionShapeId),
    Intersection(Vec<TypeId>),
    Union(Vec<TypeId>),
    Readonly(TypeId),
    TypeParameter {
        constraint: Option<TypeId>,
    },
    SymbolRef(SymbolRef),
    NeedsEvaluation,
    NotConstructor,
}

Classification for extracting instance types from constructor types.

Variants

Callable(CallableShapeId)

Callable type - extract from construct_signatures return types

Function(FunctionShapeId)

Function type - check is_constructor flag

Intersection(Vec<TypeId>)

Intersection type - recursively extract instance types from members

Union(Vec<TypeId>)

Union type - recursively extract instance types from members

Readonly(TypeId)

ReadonlyType - unwrap and recurse

TypeParameter

Type parameter with constraint - follow constraint

Fields

constraint: Option<TypeId>

SymbolRef(SymbolRef)

Symbol reference (Ref or TypeQuery) - needs resolution to class instance type

NeedsEvaluation

Complex types (Conditional, Mapped, IndexAccess, KeyOf) - need evaluation

NotConstructor

Not a constructor type

Trait Implementations

impl Clone for InstanceTypeKind

fn clone(&self) -> InstanceTypeKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InstanceTypeKind

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

Formats the value using the given formatter.