Skip to content

Commit 7ebd3dd

Browse files
Rollup merge of rust-lang#108486 - cjgillot:owner-ditem, r=Nilstrieb
Merge diagnostic_items duplicate diagnostics To deduplicate how we diagnose duplication.
2 parents a5c7acb + 752ddd0 commit 7ebd3dd

File tree

6 files changed

+46
-56
lines changed

6 files changed

+46
-56
lines changed

compiler/rustc_middle/src/hir/mod.rs

+9-5
Original file line numberDiff line numberDiff line change
@@ -64,13 +64,17 @@ impl ModuleItems {
6464
self.foreign_items.iter().copied()
6565
}
6666

67-
pub fn definitions(&self) -> impl Iterator<Item = LocalDefId> + '_ {
67+
pub fn owners(&self) -> impl Iterator<Item = OwnerId> + '_ {
6868
self.items
6969
.iter()
70-
.map(|id| id.owner_id.def_id)
71-
.chain(self.trait_items.iter().map(|id| id.owner_id.def_id))
72-
.chain(self.impl_items.iter().map(|id| id.owner_id.def_id))
73-
.chain(self.foreign_items.iter().map(|id| id.owner_id.def_id))
70+
.map(|id| id.owner_id)
71+
.chain(self.trait_items.iter().map(|id| id.owner_id))
72+
.chain(self.impl_items.iter().map(|id| id.owner_id))
73+
.chain(self.foreign_items.iter().map(|id| id.owner_id))
74+
}
75+
76+
pub fn definitions(&self) -> impl Iterator<Item = LocalDefId> + '_ {
77+
self.owners().map(|id| id.def_id)
7478
}
7579

7680
pub fn par_items(&self, f: impl Fn(ItemId) + Send + Sync) {

compiler/rustc_passes/locales/en-US.ftl

-3
Original file line numberDiff line numberDiff line change
@@ -402,9 +402,6 @@ passes_invalid_attr_at_crate_level =
402402
`{$name}` attribute cannot be used at crate level
403403
.suggestion = perhaps you meant to use an outer attribute
404404
405-
passes_duplicate_diagnostic_item =
406-
duplicate diagnostic item found: `{$name}`.
407-
408405
passes_duplicate_diagnostic_item_in_crate =
409406
duplicate diagnostic item in crate `{$crate_name}`: `{$name}`.
410407
.note = the diagnostic item is first defined in crate `{$orig_crate_name}`.

compiler/rustc_passes/src/diagnostic_items.rs

+28-35
Original file line numberDiff line numberDiff line change
@@ -11,43 +11,49 @@
1111
1212
use rustc_ast as ast;
1313
use rustc_hir::diagnostic_items::DiagnosticItems;
14+
use rustc_hir::OwnerId;
1415
use rustc_middle::ty::query::Providers;
1516
use rustc_middle::ty::TyCtxt;
16-
use rustc_span::def_id::{CrateNum, DefId, LocalDefId, LOCAL_CRATE};
17-
use rustc_span::symbol::{kw::Empty, sym, Symbol};
17+
use rustc_span::def_id::{CrateNum, DefId, LOCAL_CRATE};
18+
use rustc_span::symbol::{sym, Symbol};
1819

19-
use crate::errors::{DuplicateDiagnosticItem, DuplicateDiagnosticItemInCrate};
20+
use crate::errors::DuplicateDiagnosticItemInCrate;
2021

21-
fn observe_item(tcx: TyCtxt<'_>, diagnostic_items: &mut DiagnosticItems, def_id: LocalDefId) {
22-
let hir_id = tcx.hir().local_def_id_to_hir_id(def_id);
23-
let attrs = tcx.hir().attrs(hir_id);
22+
fn observe_item<'tcx>(tcx: TyCtxt<'tcx>, diagnostic_items: &mut DiagnosticItems, owner: OwnerId) {
23+
let attrs = tcx.hir().attrs(owner.into());
2424
if let Some(name) = extract(attrs) {
2525
// insert into our table
26-
collect_item(tcx, diagnostic_items, name, def_id.to_def_id());
26+
collect_item(tcx, diagnostic_items, name, owner.to_def_id());
2727
}
2828
}
2929

3030
fn collect_item(tcx: TyCtxt<'_>, items: &mut DiagnosticItems, name: Symbol, item_def_id: DefId) {
3131
items.id_to_name.insert(item_def_id, name);
3232
if let Some(original_def_id) = items.name_to_id.insert(name, item_def_id) {
3333
if original_def_id != item_def_id {
34-
let orig_span = tcx.hir().span_if_local(original_def_id);
35-
let orig_crate_name =
36-
orig_span.is_none().then(|| tcx.crate_name(original_def_id.krate));
37-
match tcx.hir().span_if_local(item_def_id) {
38-
Some(span) => tcx.sess.emit_err(DuplicateDiagnosticItem { span, name }),
39-
None => tcx.sess.emit_err(DuplicateDiagnosticItemInCrate {
40-
span: orig_span,
41-
orig_crate_name: orig_crate_name.unwrap_or(Empty),
42-
have_orig_crate_name: orig_crate_name.map(|_| ()),
43-
crate_name: tcx.crate_name(item_def_id.krate),
44-
name,
45-
}),
46-
};
34+
report_duplicate_item(tcx, name, original_def_id, item_def_id);
4735
}
4836
}
4937
}
5038

39+
fn report_duplicate_item(
40+
tcx: TyCtxt<'_>,
41+
name: Symbol,
42+
original_def_id: DefId,
43+
item_def_id: DefId,
44+
) {
45+
let orig_span = tcx.hir().span_if_local(original_def_id);
46+
let duplicate_span = tcx.hir().span_if_local(item_def_id);
47+
tcx.sess.emit_err(DuplicateDiagnosticItemInCrate {
48+
duplicate_span,
49+
orig_span,
50+
crate_name: tcx.crate_name(item_def_id.krate),
51+
orig_crate_name: tcx.crate_name(original_def_id.krate),
52+
different_crates: (item_def_id.krate != original_def_id.krate).then_some(()),
53+
name,
54+
});
55+
}
56+
5157
/// Extract the first `rustc_diagnostic_item = "$name"` out of a list of attributes.
5258
fn extract(attrs: &[ast::Attribute]) -> Option<Symbol> {
5359
attrs.iter().find_map(|attr| {
@@ -64,21 +70,8 @@ fn diagnostic_items(tcx: TyCtxt<'_>, cnum: CrateNum) -> DiagnosticItems {
6470

6571
// Collect diagnostic items in this crate.
6672
let crate_items = tcx.hir_crate_items(());
67-
68-
for id in crate_items.items() {
69-
observe_item(tcx, &mut diagnostic_items, id.owner_id.def_id);
70-
}
71-
72-
for id in crate_items.trait_items() {
73-
observe_item(tcx, &mut diagnostic_items, id.owner_id.def_id);
74-
}
75-
76-
for id in crate_items.impl_items() {
77-
observe_item(tcx, &mut diagnostic_items, id.owner_id.def_id);
78-
}
79-
80-
for id in crate_items.foreign_items() {
81-
observe_item(tcx, &mut diagnostic_items, id.owner_id.def_id);
73+
for id in crate_items.owners() {
74+
observe_item(tcx, &mut diagnostic_items, id);
8275
}
8376

8477
diagnostic_items

compiler/rustc_passes/src/errors.rs

+5-11
Original file line numberDiff line numberDiff line change
@@ -809,23 +809,17 @@ impl IntoDiagnostic<'_> for InvalidAttrAtCrateLevel {
809809
}
810810
}
811811

812-
#[derive(Diagnostic)]
813-
#[diag(passes_duplicate_diagnostic_item)]
814-
pub struct DuplicateDiagnosticItem {
815-
#[primary_span]
816-
pub span: Span,
817-
pub name: Symbol,
818-
}
819-
820812
#[derive(Diagnostic)]
821813
#[diag(passes_duplicate_diagnostic_item_in_crate)]
822814
pub struct DuplicateDiagnosticItemInCrate {
815+
#[primary_span]
816+
pub duplicate_span: Option<Span>,
823817
#[note(passes_diagnostic_item_first_defined)]
824-
pub span: Option<Span>,
825-
pub orig_crate_name: Symbol,
818+
pub orig_span: Option<Span>,
826819
#[note]
827-
pub have_orig_crate_name: Option<()>,
820+
pub different_crates: Option<()>,
828821
pub crate_name: Symbol,
822+
pub orig_crate_name: Symbol,
829823
pub name: Symbol,
830824
}
831825

tests/ui/tool-attributes/duplicate-diagnostic.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -9,5 +9,5 @@ extern crate p1;
99
extern crate p2;
1010

1111
#[rustc_diagnostic_item = "Foo"]
12-
pub struct Foo {} //~ ERROR duplicate diagnostic item found
12+
pub struct Foo {} //~ ERROR duplicate diagnostic item in crate `duplicate_diagnostic`: `Foo`
1313
fn main() {}

tests/ui/tool-attributes/duplicate-diagnostic.stderr

+3-1
Original file line numberDiff line numberDiff line change
@@ -2,11 +2,13 @@ error: duplicate diagnostic item in crate `p2`: `Foo`.
22
|
33
= note: the diagnostic item is first defined in crate `p1`.
44

5-
error: duplicate diagnostic item found: `Foo`.
5+
error: duplicate diagnostic item in crate `duplicate_diagnostic`: `Foo`.
66
--> $DIR/duplicate-diagnostic.rs:12:1
77
|
88
LL | pub struct Foo {}
99
| ^^^^^^^^^^^^^^
10+
|
11+
= note: the diagnostic item is first defined in crate `p2`.
1012

1113
error: aborting due to 2 previous errors
1214

0 commit comments

Comments
 (0)