Skip to content

Commit ac15b4f

Browse files
CentrilCentril
authored
Rollup merge of #56248 - estebank:suggest-bare-pub, r=petrochenkov
Suggest an appropriate token when encountering `pub Ident<'a>` Fix #55403. Follow up to #45997.
2 parents 059e6a6 + 2645871 commit ac15b4f

18 files changed

+124
-31
lines changed

‎src/libsyntax/parse/parser.rs

+48-20
Original file line numberDiff line numberDiff line change
@@ -5811,20 +5811,14 @@ impl<'a> Parser<'a> {
58115811
}
58125812

58135813
fn complain_if_pub_macro(&mut self, vis: &VisibilityKind, sp: Span) {
5814-
if let Err(mut err) = self.complain_if_pub_macro_diag(vis, sp) {
5815-
err.emit();
5816-
}
5817-
}
5818-
5819-
fn complain_if_pub_macro_diag(&mut self, vis: &VisibilityKind, sp: Span) -> PResult<'a, ()> {
58205814
match *vis {
5821-
VisibilityKind::Inherited => Ok(()),
5815+
VisibilityKind::Inherited => {}
58225816
_ => {
58235817
let is_macro_rules: bool = match self.token {
58245818
token::Ident(sid, _) => sid.name == Symbol::intern("macro_rules"),
58255819
_ => false,
58265820
};
5827-
if is_macro_rules {
5821+
let mut err = if is_macro_rules {
58285822
let mut err = self.diagnostic()
58295823
.struct_span_err(sp, "can't qualify macro_rules invocation with `pub`");
58305824
err.span_suggestion_with_applicability(
@@ -5833,13 +5827,14 @@ impl<'a> Parser<'a> {
58335827
"#[macro_export]".to_owned(),
58345828
Applicability::MaybeIncorrect // speculative
58355829
);
5836-
Err(err)
5830+
err
58375831
} else {
58385832
let mut err = self.diagnostic()
58395833
.struct_span_err(sp, "can't qualify macro invocation with `pub`");
58405834
err.help("try adjusting the macro to put `pub` inside the invocation");
5841-
Err(err)
5842-
}
5835+
err
5836+
};
5837+
err.emit();
58435838
}
58445839
}
58455840
}
@@ -6148,9 +6143,6 @@ impl<'a> Parser<'a> {
61486143

61496144
fn consume_block(&mut self, delim: token::DelimToken) {
61506145
let mut brace_depth = 0;
6151-
if !self.eat(&token::OpenDelim(delim)) {
6152-
return;
6153-
}
61546146
loop {
61556147
if self.eat(&token::OpenDelim(delim)) {
61566148
brace_depth += 1;
@@ -6161,7 +6153,7 @@ impl<'a> Parser<'a> {
61616153
brace_depth -= 1;
61626154
continue;
61636155
}
6164-
} else if self.eat(&token::Eof) || self.eat(&token::CloseDelim(token::NoDelim)) {
6156+
} else if self.token == token::Eof || self.eat(&token::CloseDelim(token::NoDelim)) {
61656157
return;
61666158
} else {
61676159
self.bump();
@@ -7410,17 +7402,27 @@ impl<'a> Parser<'a> {
74107402
return Err(err);
74117403
} else if self.look_ahead(1, |t| *t == token::OpenDelim(token::Paren)) {
74127404
let ident = self.parse_ident().unwrap();
7405+
self.bump(); // `(`
7406+
let kw_name = if let Ok(Some(_)) = self.parse_self_arg() {
7407+
"method"
7408+
} else {
7409+
"function"
7410+
};
74137411
self.consume_block(token::Paren);
7414-
let (kw, kw_name, ambiguous) = if self.check(&token::RArrow) ||
7415-
self.check(&token::OpenDelim(token::Brace))
7416-
{
7417-
("fn", "method", false)
7412+
let (kw, kw_name, ambiguous) = if self.check(&token::RArrow) {
7413+
self.eat_to_tokens(&[&token::OpenDelim(token::Brace)]);
7414+
self.bump(); // `{`
7415+
("fn", kw_name, false)
7416+
} else if self.check(&token::OpenDelim(token::Brace)) {
7417+
self.bump(); // `{`
7418+
("fn", kw_name, false)
74187419
} else if self.check(&token::Colon) {
74197420
let kw = "struct";
74207421
(kw, kw, false)
74217422
} else {
7422-
("fn` or `struct", "method or struct", true)
7423+
("fn` or `struct", "function or struct", true)
74237424
};
7425+
self.consume_block(token::Brace);
74247426

74257427
let msg = format!("missing `{}` for {} definition", kw, kw_name);
74267428
let mut err = self.diagnostic().struct_span_err(sp, &msg);
@@ -7447,6 +7449,32 @@ impl<'a> Parser<'a> {
74477449
}
74487450
}
74497451
return Err(err);
7452+
} else if self.look_ahead(1, |t| *t == token::Lt) {
7453+
let ident = self.parse_ident().unwrap();
7454+
self.eat_to_tokens(&[&token::Gt]);
7455+
self.bump(); // `>`
7456+
let (kw, kw_name, ambiguous) = if self.eat(&token::OpenDelim(token::Paren)) {
7457+
if let Ok(Some(_)) = self.parse_self_arg() {
7458+
("fn", "method", false)
7459+
} else {
7460+
("fn", "function", false)
7461+
}
7462+
} else if self.check(&token::OpenDelim(token::Brace)) {
7463+
("struct", "struct", false)
7464+
} else {
7465+
("fn` or `struct", "function or struct", true)
7466+
};
7467+
let msg = format!("missing `{}` for {} definition", kw, kw_name);
7468+
let mut err = self.diagnostic().struct_span_err(sp, &msg);
7469+
if !ambiguous {
7470+
err.span_suggestion_short_with_applicability(
7471+
sp,
7472+
&format!("add `{}` here to parse `{}` as a public {}", kw, ident, kw_name),
7473+
format!(" {} ", kw),
7474+
Applicability::MachineApplicable,
7475+
);
7476+
}
7477+
return Err(err);
74507478
}
74517479
}
74527480
self.parse_macro_use_or_failure(attrs, macros_allowed, attributes_allowed, lo, visibility)

‎src/test/ui/pub/pub-ident-fn-2.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -9,7 +9,7 @@
99
// except according to those terms.
1010

1111
pub foo(s: usize) { bar() }
12-
//~^ ERROR missing `fn` for method definition
12+
//~^ ERROR missing `fn` for function definition
1313

1414
fn main() {
1515
foo(2);

‎src/test/ui/pub/pub-ident-fn-2.stderr

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
1-
error: missing `fn` for method definition
1+
error: missing `fn` for function definition
22
--> $DIR/pub-ident-fn-2.rs:11:4
33
|
44
LL | pub foo(s: usize) { bar() }
55
| ^
6-
help: add `fn` here to parse `foo` as a public method
6+
help: add `fn` here to parse `foo` as a public function
77
|
88
LL | pub fn foo(s: usize) { bar() }
99
| ^^

‎src/test/ui/pub/pub-ident-fn-or-struct-2.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,6 @@
99
// except according to those terms.
1010

1111
pub S();
12-
//~^ ERROR missing `fn` or `struct` for method or struct definition
12+
//~^ ERROR missing `fn` or `struct` for function or struct definition
1313

1414
fn main() {}

‎src/test/ui/pub/pub-ident-fn-or-struct-2.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
error: missing `fn` or `struct` for method or struct definition
1+
error: missing `fn` or `struct` for function or struct definition
22
--> $DIR/pub-ident-fn-or-struct-2.rs:11:4
33
|
44
LL | pub S();

‎src/test/ui/pub/pub-ident-fn-or-struct.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -9,6 +9,6 @@
99
// except according to those terms.
1010

1111
pub S (foo) bar
12-
//~^ ERROR missing `fn` or `struct` for method or struct definition
12+
//~^ ERROR missing `fn` or `struct` for function or struct definition
1313

1414
fn main() {}

‎src/test/ui/pub/pub-ident-fn-or-struct.stderr

+1-1
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,4 @@
1-
error: missing `fn` or `struct` for method or struct definition
1+
error: missing `fn` or `struct` for function or struct definition
22
--> $DIR/pub-ident-fn-or-struct.rs:11:4
33
|
44
LL | pub S (foo) bar

‎src/test/ui/pub/pub-ident-fn-with-lifetime-2.rs

+6
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
pub bar<'a>(&self, _s: &'a usize) -> bool { true }
2+
//~^ ERROR missing `fn` for method definition
3+
4+
fn main() {
5+
bar(2);
6+
}

‎src/test/ui/pub/pub-ident-fn-with-lifetime-2.stderr

+12
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
error: missing `fn` for method definition
2+
--> $DIR/pub-ident-fn-with-lifetime-2.rs:1:4
3+
|
4+
LL | pub bar<'a>(&self, _s: &'a usize) -> bool { true }
5+
| ^^^
6+
help: add `fn` here to parse `bar` as a public method
7+
|
8+
LL | pub fn bar<'a>(&self, _s: &'a usize) -> bool { true }
9+
| ^^
10+
11+
error: aborting due to previous error
12+

‎src/test/ui/pub/pub-ident-fn-with-lifetime.rs

+6
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,6 @@
1+
pub foo<'a>(_s: &'a usize) -> bool { true }
2+
//~^ ERROR missing `fn` for function definition
3+
4+
fn main() {
5+
foo(2);
6+
}

‎src/test/ui/pub/pub-ident-fn-with-lifetime.stderr

+12
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
error: missing `fn` for function definition
2+
--> $DIR/pub-ident-fn-with-lifetime.rs:1:4
3+
|
4+
LL | pub foo<'a>(_s: &'a usize) -> bool { true }
5+
| ^^^
6+
help: add `fn` here to parse `foo` as a public function
7+
|
8+
LL | pub fn foo<'a>(_s: &'a usize) -> bool { true }
9+
| ^^
10+
11+
error: aborting due to previous error
12+

‎src/test/ui/pub/pub-ident-fn.fixed

+1-1
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111
// run-rustfix
1212

1313
pub fn foo(_s: usize) -> bool { true }
14-
//~^ ERROR missing `fn` for method definition
14+
//~^ ERROR missing `fn` for function definition
1515

1616
fn main() {
1717
foo(2);

‎src/test/ui/pub/pub-ident-fn.rs

+1-1
Original file line numberDiff line numberDiff line change
@@ -11,7 +11,7 @@
1111
// run-rustfix
1212

1313
pub foo(_s: usize) -> bool { true }
14-
//~^ ERROR missing `fn` for method definition
14+
//~^ ERROR missing `fn` for function definition
1515

1616
fn main() {
1717
foo(2);

‎src/test/ui/pub/pub-ident-fn.stderr

+2-2
Original file line numberDiff line numberDiff line change
@@ -1,9 +1,9 @@
1-
error: missing `fn` for method definition
1+
error: missing `fn` for function definition
22
--> $DIR/pub-ident-fn.rs:13:4
33
|
44
LL | pub foo(_s: usize) -> bool { true }
55
| ^^^
6-
help: add `fn` here to parse `foo` as a public method
6+
help: add `fn` here to parse `foo` as a public function
77
|
88
LL | pub fn foo(_s: usize) -> bool { true }
99
| ^^

‎src/test/ui/pub/pub-ident-struct-with-lifetime.rs

+4
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,4 @@
1+
pub S<'a> {
2+
//~^ ERROR missing `struct` for struct definition
3+
}
4+
fn main() {}

‎src/test/ui/pub/pub-ident-struct-with-lifetime.stderr

+12
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,12 @@
1+
error: missing `struct` for struct definition
2+
--> $DIR/pub-ident-struct-with-lifetime.rs:1:4
3+
|
4+
LL | pub S<'a> {
5+
| ^
6+
help: add `struct` here to parse `S` as a public struct
7+
|
8+
LL | pub struct S<'a> {
9+
| ^^^^^^
10+
11+
error: aborting due to previous error
12+

‎src/test/ui/pub/pub-ident-with-lifetime-incomplete.rs

+5
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,5 @@
1+
fn main() {
2+
}
3+
4+
pub foo<'a>
5+
//~^ ERROR missing `fn` or `struct` for function or struct definition

‎src/test/ui/pub/pub-ident-with-lifetime-incomplete.stderr

+8
Original file line numberDiff line numberDiff line change
@@ -0,0 +1,8 @@
1+
error: missing `fn` or `struct` for function or struct definition
2+
--> $DIR/pub-ident-with-lifetime-incomplete.rs:4:4
3+
|
4+
LL | pub foo<'a>
5+
| ^^^
6+
7+
error: aborting due to previous error
8+

0 commit comments

Comments
 (0)