Struct Diagnostic 

#[non_exhaustive]
pub struct Diagnostic {
    pub span: Range<u32>,
    pub severity: Severity,
    pub message: String,
    pub code: Option<String>,
}

One compiler finding as published by the app’s debounced compile loop — the unified diagnostic type.

span is byte offsets into the revision-N snapshot the compile ran against; it is stamped with that revision at DecorationStore::set_diagnostics so a stale set is dropped rather than mis-placed. #[non_exhaustive] so future fields (related spans, fix-its) don’t break construction sites.

Fields (Non-exhaustive)

Non-exhaustive structs could have additional fields added in future. Therefore, non-exhaustive structs cannot be constructed in external crates using the traditional Struct { .. } syntax; cannot be matched against without a wildcard ..; and struct update syntax will not work.

span: Range<u32>

Byte span into the revision this diagnostic was computed against.

severity: Severity

Severity — render color and render-order key.

message: String

Human-readable message.

code: Option<String>

The compiler’s diagnostic code, if any.

Implementations

impl Diagnostic

pub fn new( span: Range<u32>, severity: Severity, message: impl Into<String>, ) -> Self

A diagnostic with no code. Convenience for the common construction site.

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.