Rollup merge of #93303 - compiler-errors:issue-93282, r=wesleywiser
Fix ICE when parsing bad turbofish with lifetime argument
Generalize conditions where we suggest adding the turbofish operator, so we don't ICE during code like
```rust
fn foo() {
A<'a,>
}
```
but instead suggest adding a turbofish.
Fixes #93282
This commit is contained in:
commit
086be2b6c4
4 changed files with 30 additions and 19 deletions
|
|
@ -731,28 +731,22 @@ impl<'a> Parser<'a> {
|
|||
match x {
|
||||
Ok((_, _, false)) => {
|
||||
if self.eat(&token::Gt) {
|
||||
let turbo_err = e.span_suggestion_verbose(
|
||||
e.span_suggestion_verbose(
|
||||
binop.span.shrink_to_lo(),
|
||||
TURBOFISH_SUGGESTION_STR,
|
||||
"::".to_string(),
|
||||
Applicability::MaybeIncorrect,
|
||||
);
|
||||
if self.check(&TokenKind::Semi) {
|
||||
turbo_err.emit();
|
||||
*expr = self.mk_expr_err(expr.span);
|
||||
return Ok(());
|
||||
} else {
|
||||
match self.parse_expr() {
|
||||
Ok(_) => {
|
||||
turbo_err.emit();
|
||||
*expr = self
|
||||
.mk_expr_err(expr.span.to(self.prev_token.span));
|
||||
return Ok(());
|
||||
}
|
||||
Err(mut err) => {
|
||||
turbo_err.cancel();
|
||||
err.cancel();
|
||||
}
|
||||
)
|
||||
.emit();
|
||||
match self.parse_expr() {
|
||||
Ok(_) => {
|
||||
*expr =
|
||||
self.mk_expr_err(expr.span.to(self.prev_token.span));
|
||||
return Ok(());
|
||||
}
|
||||
Err(mut err) => {
|
||||
*expr = self.mk_expr_err(expr.span);
|
||||
err.cancel();
|
||||
}
|
||||
}
|
||||
}
|
||||
|
|
|
|||
|
|
@ -1458,7 +1458,7 @@ impl<'a> Parser<'a> {
|
|||
self.parse_block_expr(label, lo, BlockCheckMode::Default, attrs)
|
||||
} else if !ate_colon && (self.check(&TokenKind::Comma) || self.check(&TokenKind::Gt)) {
|
||||
// We're probably inside of a `Path<'a>` that needs a turbofish, so suppress the
|
||||
// "must be followed by a colon" error.
|
||||
// "must be followed by a colon" error, and the "expected one of" error.
|
||||
self.diagnostic().delay_span_bug(lo, "this label wasn't parsed correctly");
|
||||
consume_colon = false;
|
||||
Ok(self.mk_expr_err(lo))
|
||||
|
|
|
|||
4
src/test/ui/parser/issues/issue-93282.rs
Normal file
4
src/test/ui/parser/issues/issue-93282.rs
Normal file
|
|
@ -0,0 +1,4 @@
|
|||
fn main() {
|
||||
f<'a,>
|
||||
//~^ ERROR expected
|
||||
}
|
||||
13
src/test/ui/parser/issues/issue-93282.stderr
Normal file
13
src/test/ui/parser/issues/issue-93282.stderr
Normal file
|
|
@ -0,0 +1,13 @@
|
|||
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 previous error
|
||||
|
||||
Loading…
Add table
Add a link
Reference in a new issue