Enum TypeError 

pub enum TypeError {
    Mismatch {
        expected: String,
        found: String,
        span: Span,
    },
    OccursCheck {
        var: String,
        ty: String,
        span: Span,
    },
    UnboundVar {
        name: String,
        span: Span,
    },
    KindMismatch {
        expected: String,
        found: String,
        span: Span,
    },
    Ambiguous {
        var: String,
        span: Span,
    },
}

Errors that can occur during type operations.

Variants

Mismatch

Unification failed between two types.

Fields

expected: String

The expected type.

found: String

The found type.

span: Span

The location of the error.

OccursCheck

Occurs check failed (infinite type).

Fields

var: String

The type variable.

ty: String

The type containing the variable.

span: Span

The location of the error.

UnboundVar

Unbound type variable.

Fields

name: String

The variable name.

span: Span

The location of the error.

KindMismatch

Kind mismatch.

Fields

expected: String

The expected kind.

found: String

The found kind.

span: Span

The location of the error.

Ambiguous

Ambiguous type variable.

Fields

var: String

The ambiguous variable.

span: Span

The location of the error.

Trait Implementations

impl Clone for TypeError

fn clone(&self) -> TypeError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for TypeError

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

Formats the value using the given formatter.

impl<'de> Deserialize<'de> for TypeError

fn deserialize<__D>(__deserializer: __D) -> Result<Self, __D::Error>

where __D: Deserializer<'de>,

Deserialize this value from the given Serde deserializer.

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.

impl Serialize for TypeError

fn serialize<__S>(&self, __serializer: __S) -> Result<__S::Ok, __S::Error>

where __S: Serializer,

Serialize this value into the given Serde serializer.