Deduplicate some error+lint diagnostic structs

Author: fmease

compiler/rustc_hir_analysis/src/coherence/orphan.rs

@@ -468,13 +468,21 @@ fn emit_orphan_check_error<'tcx>(
                 let name = tcx.item_name(param_def_id);
 
                 reported.get_or_insert(match local_ty {
-                    Some(local_type) => tcx.dcx().emit_err(errors::TyParamFirstLocal {
-                        span,
-                        note: (),
-                        param: name,
-                        local_type,
-                    }),
-                    None => tcx.dcx().emit_err(errors::TyParamSome { span, note: (), param: name }),
+                    Some(local_type) => tcx
+                        .dcx()
+                        .create_err(errors::TyParamFirstLocal {
+                            label: span,
+                            note: (),
+                            param: name,
+                            local_type,
+                        })
+                        .with_span(span)
+                        .emit(),
+                    None => tcx
+                        .dcx()
+                        .create_err(errors::TyParamSome { label: span, note: (), param: name })
+                        .with_span(span)
+                        .emit(),
                 });
             }
             reported.unwrap() // FIXME(fmease): This is very likely reachable.
@@ -498,13 +506,13 @@ fn lint_uncovered_ty_params<'tcx>(
                 UNCOVERED_PARAM_IN_PROJECTION,
                 hir_id,
                 span,
-                errors::TyParamFirstLocalLint { span, note: (), param: name, local_type },
+                errors::TyParamFirstLocal { label: span, note: (), param: name, local_type },
             ),
             None => tcx.emit_node_span_lint(
                 UNCOVERED_PARAM_IN_PROJECTION,
                 hir_id,
                 span,
-                errors::TyParamSomeLint { span, note: (), param: name },
+                errors::TyParamSome { label: span, note: (), param: name },
             ),
         };
     }

compiler/rustc_hir_analysis/src/errors.rs

@@ -1379,51 +1379,24 @@ pub(crate) struct CrossCrateTraitsDefined {
     pub traits: String,
 }
 
-// FIXME(fmease): Deduplicate:
-
-#[derive(Diagnostic)]
+#[derive(Diagnostic, LintDiagnostic)]
 #[diag(hir_analysis_ty_param_first_local, code = E0210)]
 #[note]
 pub(crate) struct TyParamFirstLocal<'tcx> {
-    #[primary_span]
-    #[label]
-    pub span: Span,
-    #[note(hir_analysis_case_note)]
-    pub note: (),
-    pub param: Symbol,
-    pub local_type: Ty<'tcx>,
-}
-
-#[derive(LintDiagnostic)]
-#[diag(hir_analysis_ty_param_first_local, code = E0210)]
-#[note]
-pub(crate) struct TyParamFirstLocalLint<'tcx> {
     #[label]
-    pub span: Span,
+    pub label: Span,
     #[note(hir_analysis_case_note)]
     pub note: (),
     pub param: Symbol,
     pub local_type: Ty<'tcx>,
 }
 
-#[derive(Diagnostic)]
+#[derive(Diagnostic, LintDiagnostic)]
 #[diag(hir_analysis_ty_param_some, code = E0210)]
 #[note]
 pub(crate) struct TyParamSome {
-    #[primary_span]
-    #[label]
-    pub span: Span,
-    #[note(hir_analysis_only_note)]
-    pub note: (),
-    pub param: Symbol,
-}
-
-#[derive(LintDiagnostic)]
-#[diag(hir_analysis_ty_param_some, code = E0210)]
-#[note]
-pub(crate) struct TyParamSomeLint {
     #[label]
-    pub span: Span,
+    pub label: Span,
     #[note(hir_analysis_only_note)]
     pub note: (),
     pub param: Symbol,

compiler/rustc_hir_typeck/src/errors.rs

@@ -670,20 +670,9 @@ pub(crate) enum SuggestBoxingForReturnImplTrait {
     },
 }
 
-#[derive(Diagnostic)]
+#[derive(Diagnostic, LintDiagnostic)]
 #[diag(hir_typeck_self_ctor_from_outer_item, code = E0401)]
 pub(crate) struct SelfCtorFromOuterItem {
-    #[primary_span]
-    pub span: Span,
-    #[label]
-    pub impl_span: Span,
-    #[subdiagnostic]
-    pub sugg: Option<ReplaceWithName>,
-}
-
-#[derive(LintDiagnostic)]
-#[diag(hir_typeck_self_ctor_from_outer_item)]
-pub(crate) struct SelfCtorFromOuterItemLint {
     #[label]
     pub impl_span: Span,
     #[subdiagnostic]

compiler/rustc_hir_typeck/src/fn_ctxt/_impl.rs

@@ -1140,22 +1140,17 @@ impl<'a, 'tcx> FnCtxt<'a, 'tcx> {
                     span: path_span,
                     name: self.tcx.item_name(def.did()).to_ident_string(),
                 });
+                let diag =
+                    errors::SelfCtorFromOuterItem { impl_span: tcx.def_span(impl_def_id), sugg };
                 if ty.raw.has_param() {
-                    let guar = self.dcx().emit_err(errors::SelfCtorFromOuterItem {
-                        span: path_span,
-                        impl_span: tcx.def_span(impl_def_id),
-                        sugg,
-                    });
+                    let guar = self.dcx().create_err(diag).with_span(path_span).emit();
                     return (Ty::new_error(self.tcx, guar), res);
                 } else {
                     self.tcx.emit_node_span_lint(
                         SELF_CONSTRUCTOR_FROM_OUTER_ITEM,
                         hir_id,
                         path_span,
-                        errors::SelfCtorFromOuterItemLint {
-                            impl_span: tcx.def_span(impl_def_id),
-                            sugg,
-                        },
+                        diag,
                     );
                 }
             }

compiler/rustc_passes/src/check_attr.rs

@@ -1860,19 +1860,18 @@ impl<'tcx> CheckAttrVisitor<'tcx> {
 
         // Just point at all repr hints if there are any incompatibilities.
         // This is not ideal, but tracking precisely which ones are at fault is a huge hassle.
-        let hint_spans = hints.iter().map(|hint| hint.span());
+        let hint_spans: Vec<_> = hints.iter().map(|hint| hint.span()).collect();
 
         // Error on repr(transparent, <anything else>).
         if is_transparent && hints.len() > 1 {
-            let hint_spans = hint_spans.clone().collect();
             self.dcx().emit_err(errors::TransparentIncompatible {
-                hint_spans,
+                hint_spans: hint_spans.clone(),
                 target: target.to_string(),
             });
         }
         if is_explicit_rust && (int_reprs > 0 || is_c || is_simd) {
-            let hint_spans = hint_spans.clone().collect();
-            self.dcx().emit_err(errors::ReprConflicting { hint_spans });
+            #[allow(rustc::diagnostic_outside_of_impl)]
+            self.dcx().create_err(errors::ReprConflicting).with_span(hint_spans.clone()).emit();
         }
         // Warn on repr(u8, u16), repr(C, simd), and c-like-enum-repr(C, u8)
         if (int_reprs > 1)
@@ -1886,8 +1885,8 @@ impl<'tcx> CheckAttrVisitor<'tcx> {
             self.tcx.emit_node_span_lint(
                 CONFLICTING_REPR_HINTS,
                 hir_id,
-                hint_spans.collect::<Vec<Span>>(),
-                errors::ReprConflictingLint,
+                hint_spans,
+                errors::ReprConflicting,
             );
         }
     }

compiler/rustc_passes/src/errors.rs

@@ -560,16 +560,9 @@ pub(crate) struct ReprIdent {
     pub span: Span,
 }
 
-#[derive(Diagnostic)]
-#[diag(passes_repr_conflicting, code = E0566)]
-pub(crate) struct ReprConflicting {
-    #[primary_span]
-    pub hint_spans: Vec<Span>,
-}
-
-#[derive(LintDiagnostic)]
+#[derive(Diagnostic, LintDiagnostic)]
 #[diag(passes_repr_conflicting, code = E0566)]
-pub(crate) struct ReprConflictingLint;
+pub(crate) struct ReprConflicting;
 
 #[derive(Diagnostic)]
 #[diag(passes_used_static)]

tests/ui/self/self-ctor-nongeneric.stderr

@@ -1,4 +1,4 @@
-warning: can't reference `Self` constructor from outer item
+warning[E0401]: can't reference `Self` constructor from outer item
   --> $DIR/self-ctor-nongeneric.rs:8:23
    |
 LL | impl S0 {
@@ -11,7 +11,7 @@ LL |         const C: S0 = Self(0);
    = note: for more information, see issue #124186 <https://github.com/rust-lang/rust/issues/124186>
    = note: `#[warn(self_constructor_from_outer_item)]` on by default
 
-warning: can't reference `Self` constructor from outer item
+warning[E0401]: can't reference `Self` constructor from outer item
   --> $DIR/self-ctor-nongeneric.rs:12:13
    |
 LL | impl S0 {
@@ -25,3 +25,4 @@ LL |             Self(0)
 
 warning: 2 warnings emitted
 
+For more information about this error, try `rustc --explain E0401`.