Diagnostic and subdiagnostic structs

rustc has three diagnostic traits that can be used to create diagnostics: Diagnostic, LintDiagnostic, and Subdiagnostic. For simple diagnostics, instead of using the Diag API to create and emit diagnostics, derived impls can be used. They are only suitable for simple diagnostics that don't require much logic in deciding whether or not to add additional subdiagnostics.

Such diagnostic can be translated into different languages and each has a slug that uniquely identifies the diagnostic.

#[derive(Diagnostic)] and #[derive(LintDiagnostic)]

Consider the definition of the "field already declared" diagnostic shown below:

#[derive(Diagnostic)]
#[diag(hir_analysis_field_already_declared, code = E0124)]
pub struct FieldAlreadyDeclared {
    pub field_name: Ident,
    #[primary_span]
    #[label]
    pub span: Span,
    #[label(previous_decl_label)]
    pub prev_span: Span,
}

Diagnostic can only be derived on structs and enums. Attributes that are placed on the type for structs are placed on each variants for enums (or vice versa). Each Diagnostic has to have one attribute, #[diag(...)], applied to the struct or each enum variant.

If an error has an error code (e.g. "E0624"), then that can be specified using the code sub-attribute. Specifying a code isn't mandatory, but if you are porting a diagnostic that uses Diag to use Diagnostic then you should keep the code if there was one.

#[diag(..)] must provide a slug as the first positional argument (a path to an item in rustc_errors::fluent::*). A slug uniquely identifies the diagnostic and is also how the compiler knows what error message to emit (in the default locale of the compiler, or in the locale requested by the user). See translation documentation to learn more about how translatable error messages are written and how slug items are generated.

In our example, the Fluent message for the "field already declared" diagnostic looks like this:

hir_analysis_field_already_declared =
    field `{$field_name}` is already declared
    .label = field already declared
    .previous_decl_label = `{$field_name}` first declared here

hir_analysis_field_already_declared is the slug from our example and is followed by the diagnostic message.

Every field of the Diagnostic which does not have an annotation is available in Fluent messages as a variable, like field_name in the example above. Fields can be annotated #[skip_arg] if this is undesired.

Using the #[primary_span] attribute on a field (that has type Span) indicates the primary span of the diagnostic which will have the main message of the diagnostic.

Diagnostics are more than just their primary message, they often include labels, notes, help messages and suggestions, all of which can also be specified on a Diagnostic.

#[label], #[help], #[warning] and #[note] can all be applied to fields which have the type Span. Applying any of these attributes will create the corresponding subdiagnostic with that Span. These attributes will look for their diagnostic message in a Fluent attribute attached to the primary Fluent message. In our example, #[label] will look for hir_analysis_field_already_declared.label (which has the message "field already declared"). If there is more than one subdiagnostic of the same type, then these attributes can also take a value that is the attribute name to look for (e.g. previous_decl_label in our example).

Other types have special behavior when used in a Diagnostic derive:

  • Any attribute applied to an Option<T> will only emit a subdiagnostic if the option is Some(..).
  • Any attribute applied to a Vec<T> will be repeated for each element of the vector.

#[help], #[warning] and #[note] can also be applied to the struct itself, in which case they work exactly like when applied to fields except the subdiagnostic won't have a Span. These attributes can also be applied to fields of type () for the same effect, which when combined with the Option type can be used to represent optional #[note]/#[help]/#[warning] subdiagnostics.

Suggestions can be emitted using one of four field attributes:

  • #[suggestion(slug, code = "...", applicability = "...")]
  • #[suggestion_hidden(slug, code = "...", applicability = "...")]
  • #[suggestion_short(slug, code = "...", applicability = "...")]
  • #[suggestion_verbose(slug, code = "...", applicability = "...")]

Suggestions must be applied on either a Span field or a (Span, MachineApplicability) field. Similarly to other field attributes, the slug specifies the Fluent attribute with the message and defaults to the equivalent of .suggestion. code specifies the code that should be suggested as a replacement and is a format string (e.g. {field_name} would be replaced by the value of the field_name field of the struct), not a Fluent identifier. applicability can be used to specify the applicability in the attribute, it cannot be used when the field's type contains an Applicability.

In the end, the Diagnostic derive will generate an implementation of Diagnostic that looks like the following:

impl<'a, G: EmissionGuarantee> Diagnostic<'a> for FieldAlreadyDeclared {
    fn into_diag(self, dcx: &'a DiagCtxt, level: Level) -> Diag<'a, G> {
        let mut diag = Diag::new(dcx, level, fluent::hir_analysis_field_already_declared);
        diag.set_span(self.span);
        diag.span_label(
            self.span,
            fluent::hir_analysis_label
        );
        diag.span_label(
            self.prev_span,
            fluent::hir_analysis_previous_decl_label
        );
        diag
    }
}

Now that we've defined our diagnostic, how do we use it? It's quite straightforward, just create an instance of the struct and pass it to emit_err (or emit_warning):

tcx.dcx().emit_err(FieldAlreadyDeclared {
    field_name: f.ident,
    span: f.span,
    prev_span,
});

Reference

#[derive(Diagnostic)] and #[derive(LintDiagnostic)] support the following attributes:

  • #[diag(slug, code = "...")]
    • Applied to struct or enum variant.
    • Mandatory
    • Defines the text and error code to be associated with the diagnostic.
    • Slug (Mandatory)
      • Uniquely identifies the diagnostic and corresponds to its Fluent message, mandatory.
      • A path to an item in rustc_errors::fluent, e.g. rustc_errors::fluent::hir_analysis_field_already_declared (rustc_errors::fluent is implicit in the attribute, so just hir_analysis_field_already_declared).
      • See translation documentation.
    • code = "..." (Optional)
      • Specifies the error code.
  • #[note] or #[note(slug)] (Optional)
    • Applied to struct or struct fields of type Span, Option<()> or ().
    • Adds a note subdiagnostic.
    • Value is a path to an item in rustc_errors::fluent for the note's message.
      • Defaults to equivalent of .note.
    • If applied to a Span field, creates a spanned note.
  • #[help] or #[help(slug)] (Optional)
    • Applied to struct or struct fields of type Span, Option<()> or ().
    • Adds a help subdiagnostic.
    • Value is a path to an item in rustc_errors::fluent for the note's message.
      • Defaults to equivalent of .help.
    • If applied to a Span field, creates a spanned help.
  • #[label] or #[label(slug)] (Optional)
    • Applied to Span fields.
    • Adds a label subdiagnostic.
    • Value is a path to an item in rustc_errors::fluent for the note's message.
      • Defaults to equivalent of .label.
  • #[warning] or #[warning(slug)] (Optional)
    • Applied to struct or struct fields of type Span, Option<()> or ().
    • Adds a warning subdiagnostic.
    • Value is a path to an item in rustc_errors::fluent for the note's message.
      • Defaults to equivalent of .warn.
  • #[suggestion{,_hidden,_short,_verbose}(slug, code = "...", applicability = "...")] (Optional)
    • Applied to (Span, MachineApplicability) or Span fields.
    • Adds a suggestion subdiagnostic.
    • Slug (Mandatory)
      • A path to an item in rustc_errors::fluent, e.g. rustc_errors::fluent::hir_analysis_field_already_declared (rustc_errors::fluent is implicit in the attribute, so just hir_analysis_field_already_declared). Fluent attributes for all messages exist as top-level items in that module (so hir_analysis_message.attr is just attr).
      • See translation documentation.
      • Defaults to rustc_errors::fluent::_subdiag::suggestion (or
      • .suggestion in Fluent).
    • code = "..."/code("...", ...) (Mandatory)
      • One or multiple format strings indicating the code to be suggested as a replacement. Multiple values signify multiple possible replacements.
    • applicability = "..." (Optional)
      • String which must be one of machine-applicable, maybe-incorrect, has-placeholders or unspecified.
  • #[subdiagnostic]
    • Applied to a type that implements Subdiagnostic (from #[derive(Subdiagnostic)]).
    • Adds the subdiagnostic represented by the subdiagnostic struct.
  • #[primary_span] (Optional)
    • Applied to Span fields on Subdiagnostics. Not used for LintDiagnostics.
    • Indicates the primary span of the diagnostic.
  • #[skip_arg] (Optional)
    • Applied to any field.
    • Prevents the field from being provided as a diagnostic argument.

#[derive(Subdiagnostic)]

It is common in the compiler to write a function that conditionally adds a specific subdiagnostic to an error if it is applicable. Oftentimes these subdiagnostics could be represented using a diagnostic struct even if the overall diagnostic could not. In this circumstance, the Subdiagnostic derive can be used to represent a partial diagnostic (e.g a note, label, help or suggestion) as a struct.

Consider the definition of the "expected return type" label shown below:

#![allow(unused)]
fn main() {
#[derive(Subdiagnostic)]
pub enum ExpectedReturnTypeLabel<'tcx> {
    #[label(hir_analysis_expected_default_return_type)]
    Unit {
        #[primary_span]
        span: Span,
    },
    #[label(hir_analysis_expected_return_type)]
    Other {
        #[primary_span]
        span: Span,
        expected: Ty<'tcx>,
    },
}
}

Like Diagnostic, Subdiagnostic can be derived for structs or enums. Attributes that are placed on the type for structs are placed on each variants for enums (or vice versa). Each Subdiagnostic should have one attribute applied to the struct or each variant, one of:

  • #[label(..)] for defining a label
  • #[note(..)] for defining a note
  • #[help(..)] for defining a help
  • #[warning(..)] for defining a warning
  • #[suggestion{,_hidden,_short,_verbose}(..)] for defining a suggestion

All of the above must provide a slug as the first positional argument (a path to an item in rustc_errors::fluent::*). A slug uniquely identifies the diagnostic and is also how the compiler knows what error message to emit (in the default locale of the compiler, or in the locale requested by the user). See translation documentation to learn more about how translatable error messages are written and how slug items are generated.

In our example, the Fluent message for the "expected return type" label looks like this:

hir_analysis_expected_default_return_type = expected `()` because of default return type

hir_analysis_expected_return_type = expected `{$expected}` because of return type

Using the #[primary_span] attribute on a field (with type Span) will denote the primary span of the subdiagnostic. A primary span is only necessary for a label or suggestion, which can not be spanless.

Every field of the type/variant which does not have an annotation is available in Fluent messages as a variable. Fields can be annotated #[skip_arg] if this is undesired.

Like Diagnostic, Subdiagnostic supports Option<T> and Vec<T> fields.

Suggestions can be emitted using one of four attributes on the type/variant:

  • #[suggestion(..., code = "...", applicability = "...")]
  • #[suggestion_hidden(..., code = "...", applicability = "...")]
  • #[suggestion_short(..., code = "...", applicability = "...")]
  • #[suggestion_verbose(..., code = "...", applicability = "...")]

Suggestions require #[primary_span] be set on a field and can have the following sub-attributes:

  • The first positional argument specifies the path to a item in rustc_errors::fluent corresponding to the Fluent attribute with the message and defaults to the equivalent of .suggestion.
  • code specifies the code that should be suggested as a replacement and is a format string (e.g. {field_name} would be replaced by the value of the field_name field of the struct), not a Fluent identifier.
  • applicability can be used to specify the applicability in the attribute, it cannot be used when the field's type contains an Applicability.

Applicabilities can also be specified as a field (of type Applicability) using the #[applicability] attribute.

In the end, the Subdiagnostic derive will generate an implementation of Subdiagnostic that looks like the following:

#![allow(unused)]
fn main() {
impl<'tcx> Subdiagnostic for ExpectedReturnTypeLabel<'tcx> {
    fn add_to_diag(self, diag: &mut rustc_errors::Diagnostic) {
        use rustc_errors::{Applicability, IntoDiagArg};
        match self {
            ExpectedReturnTypeLabel::Unit { span } => {
                diag.span_label(span, rustc_errors::fluent::hir_analysis_expected_default_return_type)
            }
            ExpectedReturnTypeLabel::Other { span, expected } => {
                diag.set_arg("expected", expected);
                diag.span_label(span, rustc_errors::fluent::hir_analysis_expected_return_type)
            }
        }
    }
}
}

Once defined, a subdiagnostic can be used by passing it to the subdiagnostic function (example and example) on a diagnostic or by assigning it to a #[subdiagnostic]-annotated field of a diagnostic struct.

Reference

#[derive(Subdiagnostic)] supports the following attributes:

  • #[label(slug)], #[help(slug)], #[warning(slug)] or #[note(slug)]
    • Applied to struct or enum variant. Mutually exclusive with struct/enum variant attributes.
    • Mandatory
    • Defines the type to be representing a label, help or note.
    • Slug (Mandatory)
      • Uniquely identifies the diagnostic and corresponds to its Fluent message, mandatory.
      • A path to an item in rustc_errors::fluent, e.g. rustc_errors::fluent::hir_analysis_field_already_declared (rustc_errors::fluent is implicit in the attribute, so just hir_analysis_field_already_declared).
      • See translation documentation.
  • #[suggestion{,_hidden,_short,_verbose}(slug, code = "...", applicability = "...")]
    • Applied to struct or enum variant. Mutually exclusive with struct/enum variant attributes.
    • Mandatory
    • Defines the type to be representing a suggestion.
    • Slug (Mandatory)
      • A path to an item in rustc_errors::fluent, e.g. rustc_errors::fluent::hir_analysis_field_already_declared (rustc_errors::fluent is implicit in the attribute, so just hir_analysis::field_already_declared). Fluent attributes for all messages exist as top-level items in that module (so hir_analysis_message.attr is just hir_analysis::attr).
      • See translation documentation.
      • Defaults to rustc_errors::fluent::_subdiag::suggestion (or
      • .suggestion in Fluent).
    • code = "..."/code("...", ...) (Mandatory)
      • One or multiple format strings indicating the code to be suggested as a replacement. Multiple values signify multiple possible replacements.
    • applicability = "..." (Optional)
      • Mutually exclusive with #[applicability] on a field.
      • Value is the applicability of the suggestion.
      • String which must be one of:
        • machine-applicable
        • maybe-incorrect
        • has-placeholders
        • unspecified
  • #[multipart_suggestion{,_hidden,_short,_verbose}(slug, applicability = "...")]
    • Applied to struct or enum variant. Mutually exclusive with struct/enum variant attributes.
    • Mandatory
    • Defines the type to be representing a multipart suggestion.
    • Slug (Mandatory): see #[suggestion]
    • applicability = "..." (Optional): see #[suggestion]
  • #[primary_span] (Mandatory for labels and suggestions; optional otherwise; not applicable to multipart suggestions)
    • Applied to Span fields.
    • Indicates the primary span of the subdiagnostic.
  • #[suggestion_part(code = "...")] (Mandatory; only applicable to multipart suggestions)
    • Applied to Span fields.
    • Indicates the span to be one part of the multipart suggestion.
    • code = "..." (Mandatory)
      • Value is a format string indicating the code to be suggested as a replacement.
  • #[applicability] (Optional; only applicable to (simple and multipart) suggestions)
    • Applied to Applicability fields.
    • Indicates the applicability of the suggestion.
  • #[skip_arg] (Optional)
    • Applied to any field.
    • Prevents the field from being provided as a diagnostic argument.