Remove delayed bug when encountering label in bad turbofish
This commit is contained in:
parent
e7825f2b69
commit
a090bb1dea
@ -737,7 +737,7 @@ pub(super) fn check_mistyped_turbofish_with_multiple_type_params(
|
||||
"::".to_string(),
|
||||
Applicability::MaybeIncorrect,
|
||||
);
|
||||
if self.check(&TokenKind::Semi) {
|
||||
if matches!(self.token.kind, token::Semi | token::CloseDelim(_)) {
|
||||
turbo_err.emit();
|
||||
*expr = self.mk_expr_err(expr.span);
|
||||
return Ok(());
|
||||
|
@ -1448,6 +1448,8 @@ fn parse_labeled_expr(
|
||||
let lo = label.ident.span;
|
||||
let label = Some(label);
|
||||
let ate_colon = self.eat(&token::Colon);
|
||||
let msg = "expected `while`, `for`, `loop` or `{` after a label";
|
||||
|
||||
let expr = if self.eat_keyword(kw::While) {
|
||||
self.parse_while_expr(label, lo, attrs)
|
||||
} else if self.eat_keyword(kw::For) {
|
||||
@ -1457,13 +1459,12 @@ fn parse_labeled_expr(
|
||||
} else if self.check(&token::OpenDelim(token::Brace)) || self.token.is_whole_block() {
|
||||
self.parse_block_expr(label, lo, BlockCheckMode::Default, attrs)
|
||||
} else if !ate_colon && (self.check(&TokenKind::Comma) || self.check(&TokenKind::Gt)) {
|
||||
self.struct_span_err(self.token.span, msg).span_label(self.token.span, msg).emit();
|
||||
// We're probably inside of a `Path<'a>` that needs a turbofish, so suppress the
|
||||
// "must be followed by a colon" error.
|
||||
self.diagnostic().delay_span_bug(lo, "this label wasn't parsed correctly");
|
||||
consume_colon = false;
|
||||
Ok(self.mk_expr_err(lo))
|
||||
} else {
|
||||
let msg = "expected `while`, `for`, `loop` or `{` after a label";
|
||||
self.struct_span_err(self.token.span, msg).span_label(self.token.span, msg).emit();
|
||||
// Continue as an expression in an effort to recover on `'label: non_block_expr`.
|
||||
self.parse_expr()
|
||||
|
5
src/test/ui/parser/issues/issue-93282.rs
Normal file
5
src/test/ui/parser/issues/issue-93282.rs
Normal file
@ -0,0 +1,5 @@
|
||||
fn main() {
|
||||
f<'a,>
|
||||
//~^ ERROR expected
|
||||
//~| ERROR expected
|
||||
}
|
19
src/test/ui/parser/issues/issue-93282.stderr
Normal file
19
src/test/ui/parser/issues/issue-93282.stderr
Normal file
@ -0,0 +1,19 @@
|
||||
error: expected `while`, `for`, `loop` or `{` after a label
|
||||
--> $DIR/issue-93282.rs:2:9
|
||||
|
|
||||
LL | f<'a,>
|
||||
| ^ expected `while`, `for`, `loop` or `{` after a label
|
||||
|
||||
error: expected one of `.`, `:`, `;`, `?`, `for`, `loop`, `while`, `{`, `}`, or an operator, found `,`
|
||||
--> $DIR/issue-93282.rs:2:9
|
||||
|
|
||||
LL | f<'a,>
|
||||
| ^ expected one of 10 possible tokens
|
||||
|
|
||||
help: use `::<...>` instead of `<...>` to specify lifetime, type, or const arguments
|
||||
|
|
||||
LL | f::<'a,>
|
||||
| ++
|
||||
|
||||
error: aborting due to 2 previous errors
|
||||
|
@ -21,10 +21,12 @@ fn main() {
|
||||
|
||||
let _ = f<'_, i8>();
|
||||
//~^ ERROR expected one of
|
||||
//~| ERROR expected
|
||||
//~| HELP use `::<...>` instead of `<...>` to specify lifetime, type, or const arguments
|
||||
|
||||
f<'_>();
|
||||
//~^ comparison operators cannot be chained
|
||||
//~| ERROR expected
|
||||
//~| HELP use `::<...>` instead of `<...>` to specify lifetime, type, or const arguments
|
||||
|
||||
let _ = f<u8>;
|
||||
|
@ -53,6 +53,12 @@ help: use `::<...>` instead of `<...>` to specify lifetime, type, or const argum
|
||||
LL | let _ = f::<u8, i8>();
|
||||
| ++
|
||||
|
||||
error: expected `while`, `for`, `loop` or `{` after a label
|
||||
--> $DIR/require-parens-for-chained-comparison.rs:22:17
|
||||
|
|
||||
LL | let _ = f<'_, i8>();
|
||||
| ^ expected `while`, `for`, `loop` or `{` after a label
|
||||
|
||||
error: expected one of `.`, `:`, `;`, `?`, `else`, `for`, `loop`, `while`, `{`, or an operator, found `,`
|
||||
--> $DIR/require-parens-for-chained-comparison.rs:22:17
|
||||
|
|
||||
@ -64,8 +70,14 @@ help: use `::<...>` instead of `<...>` to specify lifetime, type, or const argum
|
||||
LL | let _ = f::<'_, i8>();
|
||||
| ++
|
||||
|
||||
error: expected `while`, `for`, `loop` or `{` after a label
|
||||
--> $DIR/require-parens-for-chained-comparison.rs:27:9
|
||||
|
|
||||
LL | f<'_>();
|
||||
| ^ expected `while`, `for`, `loop` or `{` after a label
|
||||
|
||||
error: comparison operators cannot be chained
|
||||
--> $DIR/require-parens-for-chained-comparison.rs:26:6
|
||||
--> $DIR/require-parens-for-chained-comparison.rs:27:6
|
||||
|
|
||||
LL | f<'_>();
|
||||
| ^ ^
|
||||
@ -76,7 +88,7 @@ LL | f::<'_>();
|
||||
| ++
|
||||
|
||||
error: comparison operators cannot be chained
|
||||
--> $DIR/require-parens-for-chained-comparison.rs:30:14
|
||||
--> $DIR/require-parens-for-chained-comparison.rs:32:14
|
||||
|
|
||||
LL | let _ = f<u8>;
|
||||
| ^ ^
|
||||
@ -84,5 +96,5 @@ LL | let _ = f<u8>;
|
||||
= help: use `::<...>` instead of `<...>` to specify lifetime, type, or const arguments
|
||||
= help: or use `(...)` if you meant to specify fn arguments
|
||||
|
||||
error: aborting due to 8 previous errors
|
||||
error: aborting due to 10 previous errors
|
||||
|
||||
|
Loading…
Reference in New Issue
Block a user