Struct TypeError 

pub struct TypeError {
    pub kind: TypeErrorKind,
    pub span: Option<Span>,
    pub context: Vec<String>,
}

Type error with context and location information.

Fields

kind: TypeErrorKind

The kind of type error

span: Option<Span>

Source location where the error occurred

context: Vec<String>

Context stack for nested errors

Implementations

impl TypeError

pub fn new(kind: TypeErrorKind) -> Self

Create a new type error without location information.

pub fn with_span(kind: TypeErrorKind, span: Span) -> Self

Create a new type error with span information.

pub fn add_context(&mut self, ctx: String)

Add context to the error (e.g., “in function application”, “in let binding”).

pub fn with_context(self, ctx: String) -> Self

Add context and return self (builder pattern).

pub fn format(&self, source: &str) -> String

Format the error with source code highlighting.

Produces a beautiful error message with:

• Error description
• Source location
• Source code excerpt with highlighting
• Context stack
• Helpful suggestions

pub fn suggest_fix(&self) -> Option<String>

Suggest a fix for common error patterns.

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 Display for TypeError

fn fmt(&self, f: &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.