1
Fork 0

Merge the two diagnostics.

This commit is contained in:
Camille GILLOT 2023-02-26 10:29:25 +00:00
parent 11fbb57395
commit 752ddd028c
5 changed files with 21 additions and 32 deletions

View file

@ -402,9 +402,6 @@ passes_invalid_attr_at_crate_level =
`{$name}` attribute cannot be used at crate level `{$name}` attribute cannot be used at crate level
.suggestion = perhaps you meant to use an outer attribute .suggestion = perhaps you meant to use an outer attribute
passes_duplicate_diagnostic_item =
duplicate diagnostic item found: `{$name}`.
passes_duplicate_diagnostic_item_in_crate = passes_duplicate_diagnostic_item_in_crate =
duplicate diagnostic item in crate `{$crate_name}`: `{$name}`. duplicate diagnostic item in crate `{$crate_name}`: `{$name}`.
.note = the diagnostic item is first defined in crate `{$orig_crate_name}`. .note = the diagnostic item is first defined in crate `{$orig_crate_name}`.

View file

@ -15,9 +15,9 @@ use rustc_hir::OwnerId;
use rustc_middle::ty::query::Providers; use rustc_middle::ty::query::Providers;
use rustc_middle::ty::TyCtxt; use rustc_middle::ty::TyCtxt;
use rustc_span::def_id::{CrateNum, DefId, LOCAL_CRATE}; use rustc_span::def_id::{CrateNum, DefId, LOCAL_CRATE};
use rustc_span::symbol::{kw::Empty, sym, Symbol}; use rustc_span::symbol::{sym, Symbol};
use crate::errors::{DuplicateDiagnosticItem, DuplicateDiagnosticItemInCrate}; use crate::errors::DuplicateDiagnosticItemInCrate;
fn observe_item<'tcx>(tcx: TyCtxt<'tcx>, diagnostic_items: &mut DiagnosticItems, owner: OwnerId) { fn observe_item<'tcx>(tcx: TyCtxt<'tcx>, diagnostic_items: &mut DiagnosticItems, owner: OwnerId) {
let attrs = tcx.hir().attrs(owner.into()); let attrs = tcx.hir().attrs(owner.into());
@ -42,20 +42,16 @@ fn report_duplicate_item(
original_def_id: DefId, original_def_id: DefId,
item_def_id: DefId, item_def_id: DefId,
) { ) {
let (orig_span, orig_crate_name, have_orig_crate_name) = match original_def_id.as_local() { let orig_span = tcx.hir().span_if_local(original_def_id);
Some(local_original) => (Some(tcx.def_span(local_original)), Empty, None), let duplicate_span = tcx.hir().span_if_local(item_def_id);
None => (None, tcx.crate_name(original_def_id.krate), Some(())), tcx.sess.emit_err(DuplicateDiagnosticItemInCrate {
}; duplicate_span,
match tcx.hir().span_if_local(item_def_id) { orig_span,
Some(span) => tcx.sess.emit_err(DuplicateDiagnosticItem { span, name }), crate_name: tcx.crate_name(item_def_id.krate),
None => tcx.sess.emit_err(DuplicateDiagnosticItemInCrate { orig_crate_name: tcx.crate_name(original_def_id.krate),
span: orig_span, different_crates: (item_def_id.krate != original_def_id.krate).then_some(()),
orig_crate_name, name,
have_orig_crate_name, });
crate_name: tcx.crate_name(item_def_id.krate),
name,
}),
};
} }
/// Extract the first `rustc_diagnostic_item = "$name"` out of a list of attributes. /// Extract the first `rustc_diagnostic_item = "$name"` out of a list of attributes.

View file

@ -809,23 +809,17 @@ impl IntoDiagnostic<'_> for InvalidAttrAtCrateLevel {
} }
} }
#[derive(Diagnostic)]
#[diag(passes_duplicate_diagnostic_item)]
pub struct DuplicateDiagnosticItem {
#[primary_span]
pub span: Span,
pub name: Symbol,
}
#[derive(Diagnostic)] #[derive(Diagnostic)]
#[diag(passes_duplicate_diagnostic_item_in_crate)] #[diag(passes_duplicate_diagnostic_item_in_crate)]
pub struct DuplicateDiagnosticItemInCrate { pub struct DuplicateDiagnosticItemInCrate {
#[primary_span]
pub duplicate_span: Option<Span>,
#[note(passes_diagnostic_item_first_defined)] #[note(passes_diagnostic_item_first_defined)]
pub span: Option<Span>, pub orig_span: Option<Span>,
pub orig_crate_name: Symbol,
#[note] #[note]
pub have_orig_crate_name: Option<()>, pub different_crates: Option<()>,
pub crate_name: Symbol, pub crate_name: Symbol,
pub orig_crate_name: Symbol,
pub name: Symbol, pub name: Symbol,
} }

View file

@ -9,5 +9,5 @@ extern crate p1;
extern crate p2; extern crate p2;
#[rustc_diagnostic_item = "Foo"] #[rustc_diagnostic_item = "Foo"]
pub struct Foo {} //~ ERROR duplicate diagnostic item found pub struct Foo {} //~ ERROR duplicate diagnostic item in crate `duplicate_diagnostic`: `Foo`
fn main() {} fn main() {}

View file

@ -2,11 +2,13 @@ error: duplicate diagnostic item in crate `p2`: `Foo`.
| |
= note: the diagnostic item is first defined in crate `p1`. = note: the diagnostic item is first defined in crate `p1`.
error: duplicate diagnostic item found: `Foo`. error: duplicate diagnostic item in crate `duplicate_diagnostic`: `Foo`.
--> $DIR/duplicate-diagnostic.rs:12:1 --> $DIR/duplicate-diagnostic.rs:12:1
| |
LL | pub struct Foo {} LL | pub struct Foo {}
| ^^^^^^^^^^^^^^ | ^^^^^^^^^^^^^^
|
= note: the diagnostic item is first defined in crate `p2`.
error: aborting due to 2 previous errors error: aborting due to 2 previous errors