Struct Diagnostic 

pub struct Diagnostic {
    pub severity: Severity,
    pub message: String,
    pub code: Option<String>,
    pub labels: Vec<Label>,
    pub notes: Vec<String>,
    pub suggestions: Vec<Suggestion>,
}

A diagnostic message with source locations and suggestions.

Fields

severity: Severity

The severity of this diagnostic.

message: String

The main message.

code: Option<String>

An optional error code.

labels: Vec<Label>

Labeled spans with messages.

notes: Vec<String>

Additional notes.

suggestions: Vec<Suggestion>

Suggested fixes.

Implementations

impl Diagnostic

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

Create a new error diagnostic.

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

Create a new warning diagnostic.

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

Create a new bug diagnostic (internal compiler error).

pub fn with_code(self, code: impl Into<String>) -> Self

Add an error code.

pub fn with_label(self, span: FullSpan, message: impl Into<String>) -> Self

Add a primary label.

pub fn with_secondary_label( self, span: FullSpan, message: impl Into<String>, ) -> Self

Add a secondary label.

pub fn with_note(self, note: impl Into<String>) -> Self

Add a note.

pub fn with_suggestion(self, suggestion: Suggestion) -> Self

Add a suggestion.

pub fn is_error(&self) -> bool

Check if this is an error.

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 IntoDiagnostic for Diagnostic

fn into_diagnostic(self) -> Diagnostic

Convert into a diagnostic.