Struct DiagnosticBuilder 

pub struct DiagnosticBuilder { /* private fields */ }

Builder for Diagnostic. Use this rather than struct literal at emission sites so future schema evolution doesn’t ripple through.

Implementations

impl DiagnosticBuilder

pub fn new( diagnostic_id: impl Into<String>, severity: Severity, location: Location, message: impl Into<String>, ) -> Self

Start building a diagnostic with the required minimum (id, severity, location, message).

pub fn expected(self, witness: TypeWitness) -> Self

Attach an expected type witness.

pub fn found(self, witness: TypeWitness) -> Self

Attach a found type witness.

pub fn with_fix(self, fix: SuggestedFix) -> Self

Append a suggested fix.

pub fn context_window(self, window: ContextWindow) -> Self

Attach a context window.

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

Attach a rule citation ("ADR-006-§1.1" etc.).

pub fn with_note(self, note: DiagnosticNote) -> Self

Append an auxiliary note.

pub fn build(self) -> Diagnostic

Finalize.

Trait Implementations

impl Debug for DiagnosticBuilder

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

Formats the value using the given formatter.