Enum TypeErrorKind 

pub enum TypeErrorKind {
    Mismatch {
        expected: Type,
        got: Type,
    },
    OccursCheck {
        var: TypeVar,
        in_type: Type,
    },
    UnboundVariable {
        name: String,
    },
    FieldNotFound {
        record_type: Type,
        field: String,
    },
    ArityMismatch {
        expected: usize,
        got: usize,
    },
    NotAFunction {
        got: Type,
    },
    PatternMismatch {
        pattern_type: Type,
        scrutinee_type: Type,
    },
    NotATuple {
        got: Type,
    },
    TupleIndexOutOfBounds {
        tuple_type: Type,
        index: usize,
        size: usize,
    },
    NotAList {
        got: Type,
    },
    NotAnArray {
        got: Type,
    },
    NotARecord {
        got: Type,
    },
    DuplicateField {
        field: String,
    },
    MissingField {
        record_type: Type,
        field: String,
    },
    Custom {
        message: String,
    },
}

Different kinds of type errors.

Variants

Mismatch

Type mismatch between expected and actual types

Fields

expected: Type

The expected type

got: Type

The actual type found

OccursCheck

Occurs check failed (infinite type)

Fields

var: TypeVar

The type variable

in_type: Type

The type it appears in

UnboundVariable

Unbound variable reference

Fields

name: String

Name of the unbound variable

FieldNotFound

Record field not found

Fields

record_type: Type

The record type

field: String

The field name that wasn’t found

ArityMismatch

Function arity mismatch

Fields

expected: usize

Expected number of arguments

got: usize

Actual number of arguments provided

NotAFunction

Attempted to call a non-function

Fields

got: Type

The type that was called

PatternMismatch

Pattern match type mismatch

Fields

pattern_type: Type

Type of the pattern

scrutinee_type: Type

Type of the scrutinee

NotATuple

Not a tuple (but tuple access was attempted)

Fields

got: Type

The type that was accessed

TupleIndexOutOfBounds

Tuple index out of bounds

Fields

tuple_type: Type

The tuple type

index: usize

The index that was accessed

size: usize

The actual tuple size

NotAList

Not a list (but list operation was attempted)

Fields

got: Type

The type that was used

NotAnArray

Not an array (but array operation was attempted)

Fields

got: Type

The type that was used

NotARecord

Not a record (but record operation was attempted)

Fields

got: Type

The type that was used

DuplicateField

Duplicate field in record

Fields

field: String

The field name

MissingField

Missing field in record

Fields

record_type: Type

The record type

field: String

The missing field name

Custom

Generic error with custom message

Fields

message: String

Error message

Trait Implementations

impl Clone for TypeErrorKind

fn clone(&self) -> TypeErrorKind

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeErrorKind

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

Formats the value using the given formatter.