Expand description
User-facing diagnostics: severities, sub-message annotations, and machine-actionable fix-it suggestions.
A Diagnostic pairs a 'static DiagnosticDef (identity, from
crate::codes) with a resolved Severity, a primary message and an
optional SourceSpan, plus DiagnosticAnnotation rows and
Suggestion fixes.
Structs§
- Diagnostic
- A user-facing diagnostic (manifest §16, §31).
- Suggestion
- A machine-actionable fix for a
Diagnostic.
Enums§
- Diagnostic
Annotation - A sub-message attached to a
Diagnostic. - Severity
- Diagnostic severity (manifest §31).