Struct TypeError 

pub struct TypeError {
    pub message: String,
    pub code: String,
    pub line: Option<usize>,
    pub column: Option<usize>,
    pub file_path: Option<String>,
    pub suggestions: Vec<String>,
    pub related_types: Vec<String>,
    pub severity: TypeErrorSeverity,
}

类型错误

表示类型检查过程中发现的错误，包含错误信息、位置和建议修复方案。

Fields

message: String

错误信息

code: String

错误代码

line: Option<usize>

错误位置（行号，从 1 开始）

column: Option<usize>

错误位置（列号，从 1 开始）

file_path: Option<String>

源文件路径

suggestions: Vec<String>

建议修复方案

related_types: Vec<String>

相关类型

severity: TypeErrorSeverity

错误严重程度

Implementations

impl TypeError

pub fn new(message: impl Into<String>, code: impl Into<String>) -> Self

创建新的类型错误

参数

• message - 错误信息
• code - 错误代码

返回值

返回新的类型错误实例

pub fn with_location(self, line: usize, column: usize) -> Self

设置错误位置

参数

• line - 行号
• column - 列号

返回值

返回修改后的错误实例

pub fn with_file(self, path: impl Into<String>) -> Self

设置源文件路径

参数

• path - 文件路径

返回值

返回修改后的错误实例

pub fn with_suggestion(self, suggestion: impl Into<String>) -> Self

添加建议修复方案

参数

• suggestion - 建议修复方案

返回值

返回修改后的错误实例

pub fn with_related_type(self, type_name: impl Into<String>) -> Self

添加相关类型

参数

• type_name - 相关类型名称

返回值

返回修改后的错误实例

pub fn with_severity(self, severity: TypeErrorSeverity) -> Self

设置错误严重程度

参数

• severity - 严重程度

返回值

返回修改后的错误实例

pub fn format(&self) -> String

格式化错误信息

返回值

返回格式化后的错误信息字符串

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

fn eq(&self, other: &TypeError) -> 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 TypeError

impl StructuralPartialEq for TypeError