Struct AnalysisError 

pub struct AnalysisError {
    pub message: String,
    pub variable: String,
    pub code: &'static str,
    pub cause_context: Option<String>,
    pub use_span: Option<Span>,
    pub cause_span: Option<Span>,
}

A lightweight owned analysis error from escape/ownership checking.

Fields

message: String

Socratic error message

variable: String

Variable name for span resolution

code: &'static str

Stable diagnostic code for code actions

cause_context: Option<String>

Optional cause context for related information

use_span: Option<Span>

The erring statement’s span (from Parser::stmt_spans), when known.

cause_span: Option<Span>

The causing statement’s span (the Give that moved it), when known.

Trait Implementations

impl Clone for AnalysisError

fn clone(&self) -> AnalysisError

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for AnalysisError

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

Formats the value using the given formatter.