Skip to content

Commit 22aa104

Browse files
chenyukangchenyukang
committed
don't suggest turning crate-level attributes into outer style
1 parent 70591dc commit 22aa104

13 files changed

+70
-53
lines changed

‎compiler/rustc_ast/src/ast.rs

Lines changed: 11 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -2898,6 +2898,17 @@ pub struct AttrItem {
28982898
pub tokens: Option<LazyAttrTokenStream>,
28992899
}
29002900

2901+
impl AttrItem {
2902+
pub fn is_valid_for_outer_style(&self) -> bool {
2903+
self.path == sym::cfg_attr
2904+
|| self.path == sym::cfg
2905+
|| self.path == sym::forbid
2906+
|| self.path == sym::warn
2907+
|| self.path == sym::allow
2908+
|| self.path == sym::deny
2909+
}
2910+
}
2911+
29012912
/// `TraitRef`s appear in impls.
29022913
///
29032914
/// Resolution maps each `TraitRef`'s `ref_id` to its defining trait; that's all

‎compiler/rustc_parse/src/parser/attr.rs

Lines changed: 26 additions & 12 deletions
Original file line numberDiff line numberDiff line change
@@ -67,6 +67,7 @@ impl<'a> Parser<'a> {
6767
token::CommentKind::Line => OuterAttributeType::DocComment,
6868
token::CommentKind::Block => OuterAttributeType::DocBlockComment,
6969
},
70+
true,
7071
) {
7172
err.note(fluent::parse_note);
7273
err.span_suggestion_verbose(
@@ -130,7 +131,11 @@ impl<'a> Parser<'a> {
130131

131132
// Emit error if inner attribute is encountered and forbidden.
132133
if style == ast::AttrStyle::Inner {
133-
this.error_on_forbidden_inner_attr(attr_sp, inner_parse_policy);
134+
this.error_on_forbidden_inner_attr(
135+
attr_sp,
136+
inner_parse_policy,
137+
item.is_valid_for_outer_style(),
138+
);
134139
}
135140

136141
Ok(attr::mk_attr_from_item(&self.psess.attr_id_generator, item, None, style, attr_sp))
@@ -142,6 +147,7 @@ impl<'a> Parser<'a> {
142147
err: &mut Diag<'_>,
143148
span: Span,
144149
attr_type: OuterAttributeType,
150+
suggest_to_outer: bool,
145151
) -> Option<Span> {
146152
let mut snapshot = self.create_snapshot_for_diagnostic();
147153
let lo = span.lo()
@@ -176,16 +182,18 @@ impl<'a> Parser<'a> {
176182
// FIXME(#100717)
177183
err.arg("item", item.kind.descr());
178184
err.span_label(item.span, fluent::parse_label_does_not_annotate_this);
179-
err.span_suggestion_verbose(
180-
replacement_span,
181-
fluent::parse_sugg_change_inner_to_outer,
182-
match attr_type {
183-
OuterAttributeType::Attribute => "",
184-
OuterAttributeType::DocBlockComment => "*",
185-
OuterAttributeType::DocComment => "/",
186-
},
187-
rustc_errors::Applicability::MachineApplicable,
188-
);
185+
if suggest_to_outer {
186+
err.span_suggestion_verbose(
187+
replacement_span,
188+
fluent::parse_sugg_change_inner_to_outer,
189+
match attr_type {
190+
OuterAttributeType::Attribute => "",
191+
OuterAttributeType::DocBlockComment => "*",
192+
OuterAttributeType::DocComment => "/",
193+
},
194+
rustc_errors::Applicability::MachineApplicable,
195+
);
196+
}
189197
return None;
190198
}
191199
Err(item_err) => {
@@ -196,7 +204,12 @@ impl<'a> Parser<'a> {
196204
Some(replacement_span)
197205
}
198206

199-
pub(super) fn error_on_forbidden_inner_attr(&self, attr_sp: Span, policy: InnerAttrPolicy) {
207+
pub(super) fn error_on_forbidden_inner_attr(
208+
&self,
209+
attr_sp: Span,
210+
policy: InnerAttrPolicy,
211+
suggest_to_outer: bool,
212+
) {
200213
if let InnerAttrPolicy::Forbidden(reason) = policy {
201214
let mut diag = match reason.as_ref().copied() {
202215
Some(InnerAttrForbiddenReason::AfterOuterDocComment { prev_doc_comment_span }) => {
@@ -230,6 +243,7 @@ impl<'a> Parser<'a> {
230243
&mut diag,
231244
attr_sp,
232245
OuterAttributeType::Attribute,
246+
suggest_to_outer,
233247
)
234248
.is_some()
235249
{

‎compiler/rustc_parse/src/parser/stmt.rs

Lines changed: 5 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -439,11 +439,16 @@ impl<'a> Parser<'a> {
439439
pub fn parse_block(&mut self) -> PResult<'a, P<Block>> {
440440
let (attrs, block) = self.parse_inner_attrs_and_block()?;
441441
if let [.., last] = &*attrs {
442+
let suggest_to_outer = match &last.kind {
443+
ast::AttrKind::Normal(attr) => attr.item.is_valid_for_outer_style(),
444+
_ => false,
445+
};
442446
self.error_on_forbidden_inner_attr(
443447
last.span,
444448
super::attr::InnerAttrPolicy::Forbidden(Some(
445449
InnerAttrForbiddenReason::InCodeBlock,
446450
)),
451+
suggest_to_outer,
447452
);
448453
}
449454
Ok(block)

‎tests/ui/delegation/inner-attr.stderr

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -8,11 +8,6 @@ LL | fn main() {}
88
| ------------ the inner attribute doesn't annotate this function
99
|
1010
= note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files
11-
help: to annotate the function, change the attribute from inner to outer style
12-
|
13-
LL - reuse a as b { #![rustc_dummy] self }
14-
LL + reuse a as b { #[rustc_dummy] self }
15-
|
1611

1712
error: aborting due to 1 previous error
1813

‎tests/ui/parser/attribute/attr-stmt-expr-attr-bad.stderr

Lines changed: 0 additions & 15 deletions
Original file line numberDiff line numberDiff line change
@@ -359,11 +359,6 @@ LL | #[cfg(FALSE)] fn s() { #[attr] #![attr] foo!(); }
359359
| previous outer attribute
360360
|
361361
= note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files
362-
help: to annotate the item macro invocation, change the attribute from inner to outer style
363-
|
364-
LL - #[cfg(FALSE)] fn s() { #[attr] #![attr] foo!(); }
365-
LL + #[cfg(FALSE)] fn s() { #[attr] #[attr] foo!(); }
366-
|
367362

368363
error: an inner attribute is not permitted following an outer attribute
369364
--> $DIR/attr-stmt-expr-attr-bad.rs:77:32
@@ -375,11 +370,6 @@ LL | #[cfg(FALSE)] fn s() { #[attr] #![attr] foo![]; }
375370
| previous outer attribute
376371
|
377372
= note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files
378-
help: to annotate the item macro invocation, change the attribute from inner to outer style
379-
|
380-
LL - #[cfg(FALSE)] fn s() { #[attr] #![attr] foo![]; }
381-
LL + #[cfg(FALSE)] fn s() { #[attr] #[attr] foo![]; }
382-
|
383373

384374
error: an inner attribute is not permitted following an outer attribute
385375
--> $DIR/attr-stmt-expr-attr-bad.rs:79:32
@@ -391,11 +381,6 @@ LL | #[cfg(FALSE)] fn s() { #[attr] #![attr] foo!{}; }
391381
| previous outer attribute
392382
|
393383
= note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files
394-
help: to annotate the item macro invocation, change the attribute from inner to outer style
395-
|
396-
LL - #[cfg(FALSE)] fn s() { #[attr] #![attr] foo!{}; }
397-
LL + #[cfg(FALSE)] fn s() { #[attr] #[attr] foo!{}; }
398-
|
399384

400385
error[E0586]: inclusive range with no end
401386
--> $DIR/attr-stmt-expr-attr-bad.rs:85:35

‎tests/ui/parser/attribute/attr.stderr

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -7,11 +7,6 @@ LL | fn foo() {}
77
| ----------- the inner attribute doesn't annotate this function
88
|
99
= note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files
10-
help: to annotate the function, change the attribute from inner to outer style
11-
|
12-
LL - #![lang = "foo"]
13-
LL + #[lang = "foo"]
14-
|
1510

1611
error: aborting due to 1 previous error
1712

‎tests/ui/parser/inner-attr-after-doc-comment.stderr

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -13,11 +13,6 @@ LL | fn main() {}
1313
| ------------ the inner attribute doesn't annotate this function
1414
|
1515
= note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files
16-
help: to annotate the function, change the attribute from inner to outer style
17-
|
18-
LL - #![recursion_limit="100"]
19-
LL + #[recursion_limit="100"]
20-
|
2116

2217
error: aborting due to 1 previous error
2318

‎tests/ui/parser/inner-attr.stderr

Lines changed: 0 additions & 5 deletions
Original file line numberDiff line numberDiff line change
@@ -10,11 +10,6 @@ LL | fn main() {}
1010
| ------------ the inner attribute doesn't annotate this function
1111
|
1212
= note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files
13-
help: to annotate the function, change the attribute from inner to outer style
14-
|
15-
LL - #![recursion_limit="100"]
16-
LL + #[recursion_limit="100"]
17-
|
1813

1914
error: aborting due to 1 previous error
2015

‎tests/ui/parser/issues/isgg-invalid-outer-attttr-issue-127930.rs

Lines changed: 10 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,10 @@
1+
#![allow(dead_code)]
2+
fn foo() {}
3+
4+
#![feature(iter_array_chunks)] //~ ERROR an inner attribute is not permitted in this context
5+
fn bar() {}
6+
7+
fn main() {
8+
foo();
9+
bar();
10+
}

‎tests/ui/parser/issues/isgg-invalid-outer-attttr-issue-127930.stderr

Lines changed: 12 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
error: an inner attribute is not permitted in this context
2+
--> $DIR/isgg-invalid-outer-attttr-issue-127930.rs:4:1
3+
|
4+
LL | #![feature(iter_array_chunks)]
5+
| ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^
6+
LL | fn bar() {}
7+
| ----------- the inner attribute doesn't annotate this function
8+
|
9+
= note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files
10+
11+
error: aborting due to 1 previous error
12+

‎tests/ui/parser/issues/issue-30318.fixed

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ fn foo() { }
66
//~^ ERROR expected outer doc comment
77
fn bar() { } //~ NOTE the inner doc comment doesn't annotate this function
88

9-
#[test] //~ ERROR an inner attribute is not permitted in this context
9+
#[cfg(test)] //~ ERROR an inner attribute is not permitted in this context
1010
fn baz() { } //~ NOTE the inner attribute doesn't annotate this function
1111
//~^^ NOTE inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually
1212

‎tests/ui/parser/issues/issue-30318.rs

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -6,7 +6,7 @@ fn foo() { }
66
//~^ ERROR expected outer doc comment
77
fn bar() { } //~ NOTE the inner doc comment doesn't annotate this function
88

9-
#![test] //~ ERROR an inner attribute is not permitted in this context
9+
#![cfg(test)] //~ ERROR an inner attribute is not permitted in this context
1010
fn baz() { } //~ NOTE the inner attribute doesn't annotate this function
1111
//~^^ NOTE inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually
1212

‎tests/ui/parser/issues/issue-30318.stderr

Lines changed: 4 additions & 4 deletions
Original file line numberDiff line numberDiff line change
@@ -15,16 +15,16 @@ LL | /// Misplaced comment...
1515
error: an inner attribute is not permitted in this context
1616
--> $DIR/issue-30318.rs:9:1
1717
|
18-
LL | #![test]
19-
| ^^^^^^^^
18+
LL | #![cfg(test)]
19+
| ^^^^^^^^^^^^^
2020
LL | fn baz() { }
2121
| ------------ the inner attribute doesn't annotate this function
2222
|
2323
= note: inner attributes, like `#![no_std]`, annotate the item enclosing them, and are usually found at the beginning of source files
2424
help: to annotate the function, change the attribute from inner to outer style
2525
|
26-
LL - #![test]
27-
LL + #[test]
26+
LL - #![cfg(test)]
27+
LL + #[cfg(test)]
2828
|
2929

3030
error[E0753]: expected outer doc comment

0 commit comments

Comments
 (0)