Enum StaticPropertySource 

pub enum StaticPropertySource {
    Properties(Vec<PropertyInfo>),
    RecurseMembers(Vec<TypeId>),
    RecurseSingle(TypeId),
    NeedsEvaluation,
    NeedsApplicationEvaluation,
    None,
}

Result of extracting static properties from a type.

This enum allows the caller to handle recursion and type evaluation while keeping the TypeData matching logic in the solver layer.

Variants

Properties(Vec<PropertyInfo>)

Direct properties from Callable, Object, or ObjectWithIndex types.

RecurseMembers(Vec<TypeId>)

Member types that should be recursively processed (Union/Intersection).

RecurseSingle(TypeId)

Single type to recurse into (TypeParameter constraint, ReadonlyType inner).

NeedsEvaluation

Type that needs evaluation before property extraction (Conditional, Mapped, etc.).

NeedsApplicationEvaluation

Type that needs application evaluation (Application type).

None

No properties available (primitives, error types, etc.).

Trait Implementations

impl Clone for StaticPropertySource

fn clone(&self) -> StaticPropertySource

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for StaticPropertySource

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

Formats the value using the given formatter.