Enum ConstraintTypeKind 

pub enum ConstraintTypeKind {
    TypeParameter {
        constraint: Option<TypeId>,
        default: Option<TypeId>,
    },
    Union(Vec<TypeId>),
    Intersection(Vec<TypeId>),
    SymbolRef(SymbolRef),
    Application {
        app_id: u32,
    },
    Mapped {
        mapped_id: u32,
    },
    KeyOf(TypeId),
    Resolved(TypeId),
    NoConstraint,
}

Classification for constraint types.

Variants

TypeParameter

Type parameter or infer with constraint

Fields

constraint: Option<TypeId>

default: Option<TypeId>

Union(Vec<TypeId>)

Union - get constraint from each member

Intersection(Vec<TypeId>)

Intersection - get constraint from each member

SymbolRef(SymbolRef)

Symbol reference - resolve first

Application

Application - evaluate first

Fields

app_id: u32

Mapped

Mapped type - evaluate constraint

Fields

mapped_id: u32

KeyOf(TypeId)

KeyOf - special handling

Resolved(TypeId)

Literal or resolved constraint

NoConstraint

No constraint

Trait Implementations

impl Clone for ConstraintTypeKind

fn clone(&self) -> ConstraintTypeKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for ConstraintTypeKind

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

Formats the value using the given formatter.