Skip to content

Commit f6ec648

Browse files
chenyukangchenyukang
committed
Supress unhelpful diagnostics for unresolved top level attributes
1 parent 090d5ea commit f6ec648

29 files changed

+139
-233
lines changed

‎compiler/rustc_passes/src/check_attr.rs

+1-10
Original file line numberDiff line numberDiff line change
@@ -2503,12 +2503,8 @@ fn is_c_like_enum(item: &Item<'_>) -> bool {
25032503
}
25042504
}
25052505

2506-
// FIXME: Fix "Cannot determine resolution" error and remove built-in macros
2507-
// from this check.
2506+
// builtin macros will be checked in resolve
25082507
fn check_invalid_crate_level_attr(tcx: TyCtxt<'_>, attrs: &[Attribute]) {
2509-
// Check for builtin attributes at the crate level
2510-
// which were unsuccessfully resolved due to cannot determine
2511-
// resolution for the attribute macro error.
25122508
const ATTRS_TO_CHECK: &[Symbol] = &[
25132509
sym::macro_export,
25142510
sym::repr,
@@ -2517,11 +2513,6 @@ fn check_invalid_crate_level_attr(tcx: TyCtxt<'_>, attrs: &[Attribute]) {
25172513
sym::start,
25182514
sym::rustc_main,
25192515
sym::unix_sigpipe,
2520-
sym::derive,
2521-
sym::test,
2522-
sym::test_case,
2523-
sym::global_allocator,
2524-
sym::bench,
25252516
];
25262517

25272518
for attr in attrs {

‎compiler/rustc_resolve/messages.ftl

+4
Original file line numberDiff line numberDiff line change
@@ -149,6 +149,10 @@ resolve_invalid_asm_sym =
149149
.label = is a local variable
150150
.help = `sym` operands must refer to either a function or a static
151151
152+
resolve_invalid_attr_at_crate_level =
153+
`{$name}` attribute cannot be used at crate level
154+
.suggestion = perhaps you meant to use an outer attribute
155+
152156
resolve_is_not_directly_importable =
153157
`{$target}` is not directly importable
154158
.label = cannot be imported directly

‎compiler/rustc_resolve/src/errors.rs

+23
Original file line numberDiff line numberDiff line change
@@ -778,3 +778,26 @@ pub(crate) struct IsNotDirectlyImportable {
778778
pub(crate) span: Span,
779779
pub(crate) target: Ident,
780780
}
781+
782+
#[derive(Diagnostic)]
783+
#[diag(resolve_invalid_attr_at_crate_level)]
784+
pub struct InvalidAttrAtCrateLevel {
785+
#[primary_span]
786+
pub(crate) span: Span,
787+
pub(crate) name: Symbol,
788+
#[subdiagnostic]
789+
pub(crate) sugg: InvalidAttrSugg,
790+
}
791+
792+
#[derive(Subdiagnostic)]
793+
#[suggestion(
794+
resolve_suggestion,
795+
code = "",
796+
applicability = "machine-applicable",
797+
style = "verbose"
798+
)]
799+
pub(crate) struct InvalidAttrSugg {
800+
#[primary_span]
801+
pub(crate) span: Span,
802+
pub(crate) name: Symbol,
803+
}

‎compiler/rustc_resolve/src/lib.rs

+7
Original file line numberDiff line numberDiff line change
@@ -1581,6 +1581,13 @@ impl<'a, 'tcx> Resolver<'a, 'tcx> {
15811581
self.get_macro(res).is_some_and(|macro_data| macro_data.ext.builtin_name.is_some())
15821582
}
15831583

1584+
fn is_builtin(&mut self, res: Res) -> bool {
1585+
if self.is_builtin_macro(res) {
1586+
return true;
1587+
}
1588+
self.builtin_attrs_bindings.values().any(|b| b.res() == res)
1589+
}
1590+
15841591
fn macro_def(&self, mut ctxt: SyntaxContext) -> DefId {
15851592
loop {
15861593
match ctxt.outer_expn_data().macro_def_id {

‎compiler/rustc_resolve/src/macros.rs

+51-6
Original file line numberDiff line numberDiff line change
@@ -1,6 +1,8 @@
11
//! A bunch of methods and structures more or less related to resolving macros and
22
//! interface provided by `Resolver` to macro expander.
33
4+
use crate::ast::AttrStyle;
5+
use crate::ast::Attribute;
46
use crate::errors::{
57
self, AddAsNonDerive, CannotDetermineMacroResolution, CannotFindIdentInThisScope,
68
MacroExpectedFound, RemoveSurroundingDerive,
@@ -35,6 +37,7 @@ use rustc_span::edition::Edition;
3537
use rustc_span::hygiene::{self, ExpnData, ExpnKind, LocalExpnId};
3638
use rustc_span::hygiene::{AstPass, MacroKind};
3739
use rustc_span::symbol::{kw, sym, Ident, Symbol};
40+
use rustc_span::BytePos;
3841
use rustc_span::{Span, DUMMY_SP};
3942
use std::cell::Cell;
4043
use std::mem;
@@ -695,6 +698,35 @@ impl<'a, 'tcx> Resolver<'a, 'tcx> {
695698
res.map(|res| (self.get_macro(res).map(|macro_data| macro_data.ext.clone()), res))
696699
}
697700

701+
fn report_invalid_crate_level_attr(&mut self, attrs: &[Attribute], name: Symbol) -> bool {
702+
for attr in attrs.iter().filter(|attr| attr.style == AttrStyle::Inner) {
703+
if attr.has_name(name) {
704+
let tcx = self.tcx;
705+
tcx.sess.emit_err(errors::InvalidAttrAtCrateLevel {
706+
name,
707+
span: attr.span,
708+
sugg: errors::InvalidAttrSugg {
709+
span: tcx
710+
.sess
711+
.source_map()
712+
.span_to_snippet(attr.span)
713+
.ok()
714+
.filter(|src| src.starts_with("#!["))
715+
.map(|_| {
716+
attr.span
717+
.with_lo(attr.span.lo() + BytePos(1))
718+
.with_hi(attr.span.lo() + BytePos(2))
719+
})
720+
.unwrap(),
721+
name,
722+
},
723+
});
724+
return true;
725+
}
726+
}
727+
false
728+
}
729+
698730
pub(crate) fn finalize_macro_resolutions(&mut self, krate: &Crate) {
699731
let check_consistency = |this: &mut Self,
700732
path: &[Segment],
@@ -714,15 +746,28 @@ impl<'a, 'tcx> Resolver<'a, 'tcx> {
714746
// expanded into a dummy fragment for recovery during expansion.
715747
// Now, post-expansion, the resolution may succeed, but we can't change the
716748
// past and need to report an error.
717-
// However, non-speculative `resolve_path` can successfully return private items
749+
// Special cases:
750+
// 1. non-speculative `resolve_path` can successfully return private items
718751
// even if speculative `resolve_path` returned nothing previously, so we skip this
719752
// less informative error if the privacy error is reported elsewhere.
753+
// 2. issue #118455, unresolved top level attribute error didn't imported prelude and
754+
// already have emitted an error, report builtin macro and attributes error by the way,
755+
// so `check_invalid_crate_level_attr` in can ignore them.
756+
757+
let is_builtin = res.opt_def_id().map_or(false, |_| this.is_builtin(res));
720758
if this.privacy_errors.is_empty() {
721-
this.dcx().emit_err(CannotDetermineMacroResolution {
722-
span,
723-
kind: kind.descr(),
724-
path: Segment::names_to_string(path),
725-
});
759+
let mut fallback = !is_builtin;
760+
if is_builtin && krate.id == ast::CRATE_NODE_ID {
761+
fallback =
762+
!this.report_invalid_crate_level_attr(&krate.attrs, path[0].ident.name);
763+
}
764+
if fallback && this.tcx.sess.has_errors().is_none() {
765+
this.dcx().emit_err(CannotDetermineMacroResolution {
766+
span,
767+
kind: kind.descr(),
768+
path: Segment::names_to_string(path),
769+
});
770+
}
726771
}
727772
}
728773
};

‎tests/ui/derives/issue-36617.rs

+5-5
Original file line numberDiff line numberDiff line change
@@ -1,16 +1,16 @@
1-
#![derive(Copy)] //~ ERROR cannot determine resolution for the attribute macro `derive`
1+
#![derive(Copy)]
22
//~^ ERROR `derive` attribute cannot be used at crate level
33

4-
#![test]//~ ERROR cannot determine resolution for the attribute macro `test`
4+
#![test]
55
//~^ ERROR `test` attribute cannot be used at crate level
66

7-
#![test_case]//~ ERROR cannot determine resolution for the attribute macro `test_case`
7+
#![test_case]
88
//~^ ERROR `test_case` attribute cannot be used at crate level
99

10-
#![bench]//~ ERROR cannot determine resolution for the attribute macro `bench`
10+
#![bench]
1111
//~^ ERROR `bench` attribute cannot be used at crate level
1212

13-
#![global_allocator]//~ ERROR cannot determine resolution for the attribute macro `global_allocator`
13+
#![global_allocator]
1414
//~^ ERROR `global_allocator` attribute cannot be used at crate level
1515

1616
fn main() {}

‎tests/ui/derives/issue-36617.stderr

+1-56
Original file line numberDiff line numberDiff line change
@@ -1,51 +1,8 @@
1-
error: cannot determine resolution for the attribute macro `derive`
2-
--> $DIR/issue-36617.rs:1:4
3-
|
4-
LL | #![derive(Copy)]
5-
| ^^^^^^
6-
|
7-
= note: import resolution is stuck, try simplifying macro imports
8-
9-
error: cannot determine resolution for the attribute macro `test`
10-
--> $DIR/issue-36617.rs:4:4
11-
|
12-
LL | #![test]
13-
| ^^^^
14-
|
15-
= note: import resolution is stuck, try simplifying macro imports
16-
17-
error: cannot determine resolution for the attribute macro `test_case`
18-
--> $DIR/issue-36617.rs:7:4
19-
|
20-
LL | #![test_case]
21-
| ^^^^^^^^^
22-
|
23-
= note: import resolution is stuck, try simplifying macro imports
24-
25-
error: cannot determine resolution for the attribute macro `bench`
26-
--> $DIR/issue-36617.rs:10:4
27-
|
28-
LL | #![bench]
29-
| ^^^^^
30-
|
31-
= note: import resolution is stuck, try simplifying macro imports
32-
33-
error: cannot determine resolution for the attribute macro `global_allocator`
34-
--> $DIR/issue-36617.rs:13:4
35-
|
36-
LL | #![global_allocator]
37-
| ^^^^^^^^^^^^^^^^
38-
|
39-
= note: import resolution is stuck, try simplifying macro imports
40-
411
error: `derive` attribute cannot be used at crate level
422
--> $DIR/issue-36617.rs:1:1
433
|
444
LL | #![derive(Copy)]
455
| ^^^^^^^^^^^^^^^^
46-
...
47-
LL | fn main() {}
48-
| ---- the inner attribute doesn't annotate this function
496
|
507
help: perhaps you meant to use an outer attribute
518
|
@@ -58,9 +15,6 @@ error: `test` attribute cannot be used at crate level
5815
|
5916
LL | #![test]
6017
| ^^^^^^^^
61-
...
62-
LL | fn main() {}
63-
| ---- the inner attribute doesn't annotate this function
6418
|
6519
help: perhaps you meant to use an outer attribute
6620
|
@@ -73,9 +27,6 @@ error: `test_case` attribute cannot be used at crate level
7327
|
7428
LL | #![test_case]
7529
| ^^^^^^^^^^^^^
76-
...
77-
LL | fn main() {}
78-
| ---- the inner attribute doesn't annotate this function
7930
|
8031
help: perhaps you meant to use an outer attribute
8132
|
@@ -88,9 +39,6 @@ error: `bench` attribute cannot be used at crate level
8839
|
8940
LL | #![bench]
9041
| ^^^^^^^^^
91-
...
92-
LL | fn main() {}
93-
| ---- the inner attribute doesn't annotate this function
9442
|
9543
help: perhaps you meant to use an outer attribute
9644
|
@@ -103,15 +51,12 @@ error: `global_allocator` attribute cannot be used at crate level
10351
|
10452
LL | #![global_allocator]
10553
| ^^^^^^^^^^^^^^^^^^^^
106-
...
107-
LL | fn main() {}
108-
| ---- the inner attribute doesn't annotate this function
10954
|
11055
help: perhaps you meant to use an outer attribute
11156
|
11257
LL - #![global_allocator]
11358
LL + #[global_allocator]
11459
|
11560

116-
error: aborting due to 10 previous errors
61+
error: aborting due to 5 previous errors
11762

‎tests/ui/extenv/issue-55897.rs

-1
Original file line numberDiff line numberDiff line change
@@ -4,7 +4,6 @@ mod unresolved_env {
44
use env; //~ ERROR unresolved import `env`
55

66
include!(concat!(env!("NON_EXISTENT"), "/data.rs"));
7-
//~^ ERROR cannot determine resolution for the macro `env`
87
}
98

109
mod nonexistent_env {

‎tests/ui/extenv/issue-55897.stderr

+3-11
Original file line numberDiff line numberDiff line change
@@ -1,5 +1,5 @@
11
error: environment variable `NON_EXISTENT` not defined at compile time
2-
--> $DIR/issue-55897.rs:11:22
2+
--> $DIR/issue-55897.rs:10:22
33
|
44
LL | include!(concat!(env!("NON_EXISTENT"), "/data.rs"));
55
| ^^^^^^^^^^^^^^^^^^^^
@@ -8,7 +8,7 @@ LL | include!(concat!(env!("NON_EXISTENT"), "/data.rs"));
88
= note: this error originates in the macro `env` (in Nightly builds, run with -Z macro-backtrace for more info)
99

1010
error: suffixes on string literals are invalid
11-
--> $DIR/issue-55897.rs:16:22
11+
--> $DIR/issue-55897.rs:15:22
1212
|
1313
LL | include!(concat!("NON_EXISTENT"suffix, "/data.rs"));
1414
| ^^^^^^^^^^^^^^^^^^^^ invalid suffix `suffix`
@@ -33,14 +33,6 @@ help: consider importing this module instead
3333
LL | use std::env;
3434
| ~~~~~~~~
3535

36-
error: cannot determine resolution for the macro `env`
37-
--> $DIR/issue-55897.rs:6:22
38-
|
39-
LL | include!(concat!(env!("NON_EXISTENT"), "/data.rs"));
40-
| ^^^
41-
|
42-
= note: import resolution is stuck, try simplifying macro imports
43-
44-
error: aborting due to 5 previous errors
36+
error: aborting due to 4 previous errors
4537

4638
For more information about this error, try `rustc --explain E0432`.

‎tests/ui/feature-gates/issue-43106-gating-of-bench.rs

+2-4
Original file line numberDiff line numberDiff line change
@@ -3,8 +3,6 @@
33
// handled in "weird places" when `--test` is passed.
44

55
#![feature(custom_inner_attributes)]
6-
7-
#![bench = "4100"]
8-
//~^ ERROR cannot determine resolution for the attribute macro `bench`
9-
//~^^ ERROR `bench` attribute cannot be used at crate level
6+
#![bench = "4100"]
7+
//~^ ERROR `bench` attribute cannot be used at crate level
108
fn main() {}

‎tests/ui/feature-gates/issue-43106-gating-of-bench.stderr

+6-17
Original file line numberDiff line numberDiff line change
@@ -1,25 +1,14 @@
1-
error: cannot determine resolution for the attribute macro `bench`
2-
--> $DIR/issue-43106-gating-of-bench.rs:7:4
3-
|
4-
LL | #![bench = "4100"]
5-
| ^^^^^
6-
|
7-
= note: import resolution is stuck, try simplifying macro imports
8-
91
error: `bench` attribute cannot be used at crate level
10-
--> $DIR/issue-43106-gating-of-bench.rs:7:1
2+
--> $DIR/issue-43106-gating-of-bench.rs:6:1
113
|
12-
LL | #![bench = "4100"]
13-
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
14-
...
15-
LL | fn main() {}
16-
| ---- the inner attribute doesn't annotate this function
4+
LL | #![bench = "4100"]
5+
| ^^^^^^^^^^^^^^^^^^
176
|
187
help: perhaps you meant to use an outer attribute
198
|
20-
LL - #![bench = "4100"]
21-
LL + #[bench = "4100"]
9+
LL - #![bench = "4100"]
10+
LL + #[bench = "4100"]
2211
|
2312

24-
error: aborting due to 2 previous errors
13+
error: aborting due to 1 previous error
2514

‎tests/ui/feature-gates/issue-43106-gating-of-test.rs

+2-3
Original file line numberDiff line numberDiff line change
@@ -1,7 +1,6 @@
11
// The non-crate level cases are in issue-43106-gating-of-builtin-attrs.rs.
22

33
#![allow(soft_unstable)]
4-
#![test = "4200"]
5-
//~^ ERROR cannot determine resolution for the attribute macro `test`
6-
//~^^ ERROR `test` attribute cannot be used at crate level
4+
#![test = "4200"]
5+
//~^ ERROR `test` attribute cannot be used at crate level
76
fn main() {}

0 commit comments

Comments
 (0)