#[derive(SessionDiagnostic)]
{
    // Attributes available to this derive:
    #[diag]
    #[help]
    #[note]
    #[warning]
    #[skip_arg]
    #[primary_span]
    #[label]
    #[subdiagnostic]
    #[suggestion]
    #[suggestion_short]
    #[suggestion_hidden]
    #[suggestion_verbose]
}