macros: add interop between diagnostic derives

Add `#[subdiagnostic]` field attribute to the diagnostic derive which
is applied to fields that have types which use the subdiagnostic derive.

Signed-off-by: David Wood <[email protected]>

Author: davidtwco

compiler/rustc_macros/src/diagnostics/diagnostic.rs

@@ -404,9 +404,10 @@ impl SessionDiagnosticDeriveBuilder {
                     report_error_if_not_applied_to_span(attr, &info)?;
                     Ok(self.add_subdiagnostic(field_binding, name, name))
                 }
+                "subdiagnostic" => Ok(quote! { #diag.subdiagnostic(*#field_binding); }),
                 _ => throw_invalid_attr!(attr, &meta, |diag| {
                     diag
-                        .help("only `skip_arg`, `primary_span`, `label`, `note` and `help` are valid field attributes")
+                        .help("only `skip_arg`, `primary_span`, `label`, `note`, `help` and `subdiagnostic` are valid field attributes")
                 }),
             },
             Meta::NameValue(MetaNameValue { lit: syn::Lit::Str(ref s), .. }) => match name {

compiler/rustc_macros/src/lib.rs

@@ -73,6 +73,7 @@ decl_derive!(
         skip_arg,
         primary_span,
         label,
+        subdiagnostic,
         suggestion,
         suggestion_short,
         suggestion_hidden,

src/test/ui-fulldeps/session-diagnostic/diagnostic-derive.rs

@@ -15,7 +15,7 @@ use rustc_span::symbol::Ident;
 use rustc_span::Span;
 
 extern crate rustc_macros;
-use rustc_macros::SessionDiagnostic;
+use rustc_macros::{SessionDiagnostic, SessionSubdiagnostic};
 
 extern crate rustc_middle;
 use rustc_middle::ty::Ty;
@@ -463,3 +463,14 @@ struct NoApplicability {
     #[suggestion(message = "bar", code = "...")]
     suggestion: Span,
 }
+
+#[derive(SessionSubdiagnostic)]
+#[note(slug = "note")]
+struct Note;
+
+#[derive(SessionDiagnostic)]
+#[error(slug = "subdiagnostic")]
+struct Subdiagnostic {
+    #[subdiagnostic]
+    note: Note,
+}

src/test/ui-fulldeps/session-diagnostic/diagnostic-derive.stderr

@@ -211,7 +211,7 @@ error: `#[nonsense]` is not a valid attribute
 LL |     #[nonsense]
    |     ^^^^^^^^^^^
    |
-   = help: only `skip_arg`, `primary_span`, `label`, `note` and `help` are valid field attributes
+   = help: only `skip_arg`, `primary_span`, `label`, `note`, `help` and `subdiagnostic` are valid field attributes
 
 error: the `#[label = ...]` attribute can only be applied to fields of type `Span`
   --> $DIR/diagnostic-derive.rs:156:5