Struct Diagnostic 

pub struct Diagnostic {
    pub severity: Severity,
    pub message: String,
    pub source: Option<SourceId>,
    pub span: Option<Span>,
    pub code: Option<Symbol>,
    pub related: Vec<Diagnostic>,
}

A structured diagnostic message with optional source location.

The kernel defines the diagnostic record; libraries and contracts attach diagnostics to errors to explain failures with source context.

Fields

severity: Severity

The severity level.

message: String

The human-readable message.

source: Option<SourceId>

The optional source the diagnostic refers to.

span: Option<Span>

The optional span within the source.

code: Option<Symbol>

The optional machine-readable diagnostic code.

related: Vec<Diagnostic>

Related sub-diagnostics providing more detail.

Implementations

impl Diagnostic

pub fn error(message: impl Into<String>) -> Self

Builds an error-severity diagnostic with just a message.

pub fn info(message: impl Into<String>) -> Self

Builds an info-severity diagnostic with just a message.

pub fn with_code(self, code: Symbol) -> Self

Adds a machine-readable diagnostic code.

pub fn with_related(self, related: Diagnostic) -> Self

Adds a related sub-diagnostic.

Trait Implementations

impl Clone for Diagnostic

fn clone(&self) -> Diagnostic

Returns a duplicate of the value.

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

Performs copy-assignment from source.

impl Debug for Diagnostic

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

Formats the value using the given formatter.

impl Eq for Diagnostic

impl PartialEq for Diagnostic

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