Enum InferType 

pub enum InferType {
    Concrete(Type),
    Var(TypeVarId),
    IntLiteral,
    FloatLiteral,
    Array {
        element: Box<InferType>,
        length: u64,
    },
}

Internal type representation during inference.

This is separate from the final Type enum to support type variables and the special IntLiteral type. After unification, all InferTypes are resolved to concrete Types.

Variants

Concrete(Type)

A concrete type (maps directly to Type enum).

Var(TypeVarId)

A type variable (unknown, to be solved).

IntLiteral

An integer literal type.

Integer literals can unify with any integer type (i8-i64, u8-u64). When unified with a concrete integer type, the literal takes that type. If unconstrained at the end of inference, defaults to i32.

FloatLiteral

A floating-point literal type.

Float literals can unify with any float type (f16, f32, f64). If unconstrained at the end of inference, defaults to f64.

Array

An array type during inference.

Unlike Concrete(Type::new_array(id)), this stores the element type as an InferType so we can handle cases where the element type is still a type variable. After unification, these are converted to Type::Array.

Fields

element: Box<InferType>

length: u64

Implementations

impl InferType

pub fn concrete(ty: Type) -> Self

Create an InferType from a concrete Type.

pub fn var(id: TypeVarId) -> Self

Create a type variable.

pub fn int_literal() -> Self

Create an integer literal type.

pub fn is_concrete(&self) -> bool

Check if this is a concrete type.

pub fn is_var(&self) -> bool

Check if this is a type variable.

pub fn is_int_literal(&self) -> bool

Check if this is an integer literal type.

pub fn as_concrete(&self) -> Option<Type>

Get the concrete type if this is Concrete.

pub fn as_var(&self) -> Option<TypeVarId>

Get the type variable ID if this is Var.

Trait Implementations

impl Clone for InferType

fn clone(&self) -> InferType

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for InferType

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

Formats the value using the given formatter.

impl Display for InferType

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

Formats the value using the given formatter.

impl From<Type> for InferType

fn from(ty: Type) -> Self

Converts to this type from the input type.

impl PartialEq for InferType

fn eq(&self, other: &InferType) -> bool

Tests for self and other values to be equal, and is used by ==.

fn ne(&self, other: &Rhs) -> bool

Tests for !=. The default implementation is almost always sufficient, and should not be overridden without very good reason.

impl Eq for InferType

impl StructuralPartialEq for InferType