Module diagnostics 

Structured diagnostics.

A free-form Vec<String> warning is useful for a human but opaque to CI, an agent, or a downstream solver. Every finding a frontend, lowering pass, or backend records carries a stable DiagnosticCode, a DiagnosticSeverity, the DiagnosticStage it came from, a human message, and (where known) the element path and SourceRef it refers to. Human-readable warnings should be rendered from these, not the other way around.

Structs

DiagnosticCode

A stable, dotted diagnostic code, e.g. EMIT.PSSE.DROP_ANGLE_LIMITS.

StructuredDiagnostic

One structured finding.

Enums

DiagnosticSeverity

Severity, ordered worst-last so Ord gives the dominant severity of a set.

DiagnosticStage

The compiler stage that emitted a diagnostic.