#[derive(Diagnostic)]
{
// Attributes available to this derive:
#[diag]
#[help]
#[help_once]
#[note]
#[note_once]
#[warning]
#[primary_span]
#[label]
#[subdiagnostic]
#[suggestion]
}
#[derive(Diagnostic)]
{
// Attributes available to this derive:
#[diag]
#[help]
#[help_once]
#[note]
#[note_once]
#[warning]
#[primary_span]
#[label]
#[subdiagnostic]
#[suggestion]
}