Crate rustc_errors

Diagnostics creation and emission for rustc.

This module contains the code for creating and emitting diagnostics.

Re-exports

• pub use emitter::ColorConfig;
• pub use rustc_error_messages::fluent_bundle;
• pub use codes::*;

Modules

• annotate_snippet_emitter_writer
  Emit diagnostics using the annotate-snippets library
• codes
  This module defines the following.
• diagnostic 🔒
• diagnostic_builder 🔒
• diagnostic_impls 🔒
• emitter
  The current rustc diagnostics emitter.
• error
• json
  A JSON emitter for errors.
• lock 🔒
  Bindings to acquire a global named lock.
• markdown
  A simple markdown parser that can write formatted text to the terminal
• registry
• snippet 🔒
• styled_buffer 🔒
• translation

Macros

• pluralize
• struct_span_code_err

Structs

• BugAbort
  Marker type which enables implementation of create_bug and emit_bug functions for bug diagnostics.
• CodeSuggestion
• ColorSpec
  A color specification.
• DelayDm
  A workaround for must_produce_diag ICEs when formatting types in disabled lints.
• DelayedBugPanic
  Signifies that the compiler died due to a delayed bug rather than a failed assertion, etc.
• DelayedDiagnostic 🔒
• DiagCtxt
  A DiagCtxt deals with errors and other compiler output. Certain errors (fatal, bug, unimpl) may cause immediate exit, others log errors for later reporting.
• DiagCtxtFlags
• DiagCtxtInner 🔒
  This inner struct exists to keep it all behind a single lock; this is done to prevent possible deadlocks in a multi-threaded compiler, as well as inconsistent state observation.
• Diagnostic
  The main part of a diagnostic. Note that DiagnosticBuilder, which wraps this type, is used for most operations, and should be used instead whenever possible. This type should only be used when DiagnosticBuilder’s lifetime causes difficulties, e.g. when storing diagnostics within DiagCtxt.
• DiagnosticArgFromDisplay
• DiagnosticBuilder
  Used for emitting structured error messages and other diagnostic information. Wraps a Diagnostic, adding some useful things.
• DiagnosticStyledString
• DiagnosticSymbolList
• ErrorGuaranteed
  Useful type to use with Result<> indicate that an error has already been reported to the user, so no need to continue checking.
• ExpectedLifetimeParameter
• ExplicitBug
  Signifies that the compiler died with an explicit call to .bug or .span_bug rather than a failed assertion, etc.
• FatalAbort
  Marker type which enables implementation of create_fatal and emit_fatal functions for fatal diagnostics.
• FatalError
  Used as a return value to signify a fatal error occurred.
• FatalErrorMarker
  This is a marker for a fatal compiler error used with resume_unwind.
• IndicateAnonymousLifetime
• LanguageIdentifier
  LanguageIdentifier is a core struct representing a Unicode Language Identifier.
• MultiSpan
  A collection of Spans.
• SingleLabelManySpans
  Utility struct used to apply a single label while highlighting multiple spans
• SpanLabel
  A span together with some additional data.
• StringPart
• SubDiagnostic
  A “sub”-diagnostic attached to a parent diagnostic. For example, a note attached to an error.
• Substitution
  See the docs on CodeSuggestion::substitutions
• SubstitutionHighlight 🔒
  Used to translate between Spans and byte positions within a single output line in highlighted code of structured suggestions.
• SubstitutionPart

Enums

• Applicability
  Indicates the confidence in the correctness of a suggestion.
• Color
  The set of available colors for the terminal foreground/background.
• DiagnosticArgValue
  Simplified version of FluentValue that can implement Encodable and Decodable. Converted to a FluentValue by the emitter to be used in diagnostic translation.
• DiagnosticMessage
  Abstraction over a message in a diagnostic to support both translatable and non-translatable diagnostic messages.
• Level
  Level is_error EmissionGuarantee Top-level Sub Used in lints?
• StashKey
  A key denoting where from a diagnostic was stashed.
• Style
• SubdiagnosticMessage
  Abstraction over a message in a subdiagnostic (i.e. label, note, help, etc) to support both translatable and non-translatable diagnostic messages.
• SuggestionStyle
• TerminalUrl

Statics

• DEFAULT_LOCALE_RESOURCE
  Raw content of Fluent resource for this crate, generated by fluent_messages macro, imported by rustc_driver to include all crates’ resources in one bundle.
• TRACK_DIAGNOSTIC

Traits

• AddToDiagnostic
  Trait implemented by error types. This should not be implemented manually. Instead, use #[derive(Subdiagnostic)] – see rustc_macros::Subdiagnostic.
• DecorateLint
  Trait implemented by lint types. This should not be implemented manually. Instead, use #[derive(LintDiagnostic)] – see rustc_macros::LintDiagnostic.
• EmissionGuarantee
  Trait for types that DiagnosticBuilder::emit can return as a “guarantee” (or “proof”) token that the emission happened.
• IntoDiagnostic
  Trait implemented by error types. This is rarely implemented manually. Instead, use #[derive(Diagnostic)] – see rustc_macros::Diagnostic.
• IntoDiagnosticArg
  Converts a value of a type into a DiagnosticArg (typically a field of an IntoDiagnostic struct). Implemented as a custom trait rather than From so that it is implemented on the type being converted rather than on DiagnosticArgValue, which enables types from other rustc_* crates to implement this.
• WriteColor
  This trait describes the behavior of writers that support colored output.

Functions

• add_elided_lifetime_in_path_suggestion
• default_track_diagnostic 🔒
• fallback_fluent_bundle
  Return the default FluentBundle with standard “en-US” diagnostic messages.
• fluent_bundle
  Returns Fluent bundle with the user’s locale resources from $sysroot/share/locale/$requested_locale/*.ftl.
• report_ambiguity_error

Type Aliases

• DiagnosticArg
  Simplified version of FluentArg that can implement Encodable and Decodable. Collection of DiagnosticArg are converted to FluentArgs (consuming the collection) at the start of diagnostic emission.
• DiagnosticArgName
  Name of a diagnostic argument.
• FluentBundle
• LazyFallbackBundle
  Type alias for the result of fallback_fluent_bundle - a reference-counted pointer to a lazily evaluated fluent bundle.
• PErr
• PResult

Trait Aliases

• SubdiagnosticMessageOp