Enum TypeError 

pub enum TypeError {
    TypeMismatch {
        expected: Type,
        found: Type,
        span: Span,
    },
    UndefinedVariable {
        name: String,
        span: Span,
    },
    UndefinedType {
        name: String,
        span: Span,
    },
    UndefinedAction {
        name: String,
        span: Span,
    },
    DuplicateDefinition {
        name: String,
        span: Span,
    },
    InvalidField {
        ty: Type,
        field: String,
        span: Span,
    },
    NotIndexable {
        ty: Type,
        span: Span,
    },
    NotIterable {
        ty: Type,
        span: Span,
    },
    NotCallable {
        ty: Type,
        span: Span,
    },
    ArityMismatch {
        expected: usize,
        found: usize,
        span: Span,
    },
    InvalidPrime {
        span: Span,
    },
    UnificationFailure {
        a: Type,
        b: Type,
        span: Span,
    },
    OccursCheck {
        span: Span,
    },
    ExpectedBool {
        found: Type,
        span: Span,
    },
    ExpectedNumeric {
        found: Type,
        span: Span,
    },
    TypesNotEqual {
        left: Type,
        right: Type,
        span: Span,
    },
}

A type checking error.

Variants

TypeMismatch

Fields

expected: Type

found: Type

span: Span

UndefinedVariable

Fields

name: String

span: Span

UndefinedType

Fields

name: String

span: Span

UndefinedAction

Fields

name: String

span: Span

DuplicateDefinition

Fields

name: String

span: Span

InvalidField

Fields

ty: Type

field: String

span: Span

NotIndexable

Fields

ty: Type

span: Span

NotIterable

Fields

ty: Type

span: Span

NotCallable

Fields

ty: Type

span: Span

ArityMismatch

Fields

expected: usize

found: usize

span: Span

InvalidPrime

Fields

span: Span

UnificationFailure

Fields

a: Type

b: Type

span: Span

OccursCheck

Fields

span: Span

ExpectedBool

Fields

found: Type

span: Span

ExpectedNumeric

Fields

found: Type

span: Span

TypesNotEqual

Fields

left: Type

right: Type

span: Span

Implementations

impl TypeError

pub fn span(&self) -> Span

Get the source span of this error.

Trait Implementations

impl Debug for TypeError

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

Formats the value using the given formatter.

impl Display for TypeError

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

Formats the value using the given formatter.

impl Error for TypeError

fn source(&self) -> Option<&(dyn Error + 'static)>

Returns the lower-level source of this error, if any.

fn description(&self) -> &str

👎Deprecated since 1.42.0: use the Display impl or to_string()

fn cause(&self) -> Option<&dyn Error>

👎Deprecated since 1.33.0: replaced by Error::source, which can support downcasting

fn provide<'a>(&'a self, request: &mut Request<'a>)

🔬This is a nightly-only experimental API. (error_generic_member_access)

Provides type-based access to context intended for error reports.