Module diagnostic

Macros§

with_fn 🔒: Diag impls many &mut self -> &mut Self methods. Each one modifies an existing diagnostic, either in a standalone fashion, e.g. err.code(code);, or in a chained fashion to make multiple modifications, e.g. err.code(code).span(span);.

BugAbort: Marker type which enables implementation of create_bug and emit_bug functions for bug diagnostics.
Diag: Used for emitting structured error messages and other diagnostic information. Wraps a DiagInner, adding some useful things.
DiagInner: The main part of a diagnostic. Note that Diag, which wraps this type, is used for most operations, and should be used instead whenever possible. This type should only be used when Diag’s lifetime causes difficulties, e.g. when storing diagnostics within DiagCtxt.
DiagLocation 🔒
DiagStyledString
FatalAbort: Marker type which enables implementation of create_fatal and emit_fatal functions for fatal diagnostics.
IsLint
StringPart
Subdiag: A “sub”-diagnostic attached to a parent diagnostic. For example, a note attached to an error.

Diagnostic: Trait implemented by error types. This is rarely implemented manually. Instead, use #[derive(Diagnostic)] – see rustc_macros::Diagnostic.
EmissionGuarantee: Trait for types that Diag::emit can return as a “guarantee” (or “proof”) token that the emission happened.
LintDiagnostic: Trait implemented by lint types. This should not be implemented manually. Instead, use #[derive(LintDiagnostic)] – see rustc_macros::LintDiagnostic.
LintDiagnosticBox
Subdiagnostic: Trait implemented by error types. This should not be implemented manually. Instead, use #[derive(Subdiagnostic)] – see rustc_macros::Subdiagnostic.