Modules

Private module for sealing the IsError helper trait.

Macros

forward 🔒
In general, the DiagnosticBuilder uses deref to allow access to the fields and methods of the embedded diagnostic in a transparent way. However, many of the methods are intended to be used in a chained way, and hence ought to return self. In that case, we can’t just naively forward to the method on the diagnostic, because the return type would be a &Diagnostic instead of a &DiagnosticBuilder<'a>. This forward! macro makes it easy to declare such methods on the builder.

Structs

Marker type which enables implementation of create_bug and emit_bug functions for bug struct diagnostics.
Used for emitting structured error messages and other diagnostic information.
This type exists only for DiagnosticBuilder::forget_guarantee, because it:
Marker type which enables implementation of create_note and emit_note functions for note-without-error struct diagnostics.

Enums

Traits

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