Detect ruby-style closure in parser
When parsing a closure without a body that is surrounded by a block, suggest moving the opening brace after the closure head. Fix #116608.
This commit is contained in:
parent
cdddcd3bea
commit
6b2c6c7fd3
13 changed files with 232 additions and 6 deletions
|
@ -827,6 +827,65 @@ impl<'a> Parser<'a> {
|
||||||
None
|
None
|
||||||
}
|
}
|
||||||
|
|
||||||
|
pub(super) fn recover_closure_body(
|
||||||
|
&mut self,
|
||||||
|
mut err: DiagnosticBuilder<'a, ErrorGuaranteed>,
|
||||||
|
before: token::Token,
|
||||||
|
prev: token::Token,
|
||||||
|
token: token::Token,
|
||||||
|
lo: Span,
|
||||||
|
decl_hi: Span,
|
||||||
|
) -> PResult<'a, P<Expr>> {
|
||||||
|
err.span_label(lo.to(decl_hi), "while parsing the body of this closure");
|
||||||
|
match before.kind {
|
||||||
|
token::OpenDelim(Delimiter::Brace)
|
||||||
|
if !matches!(token.kind, token::OpenDelim(Delimiter::Brace)) =>
|
||||||
|
{
|
||||||
|
// `{ || () }` should have been `|| { () }`
|
||||||
|
err.multipart_suggestion(
|
||||||
|
"you might have meant to open the body of the closure, instead of enclosing \
|
||||||
|
the closure in a block",
|
||||||
|
vec![
|
||||||
|
(before.span, String::new()),
|
||||||
|
(prev.span.shrink_to_hi(), " {".to_string()),
|
||||||
|
],
|
||||||
|
Applicability::MaybeIncorrect,
|
||||||
|
);
|
||||||
|
err.emit();
|
||||||
|
self.eat_to_tokens(&[&token::CloseDelim(Delimiter::Brace)]);
|
||||||
|
}
|
||||||
|
token::OpenDelim(Delimiter::Parenthesis)
|
||||||
|
if !matches!(token.kind, token::OpenDelim(Delimiter::Brace)) =>
|
||||||
|
{
|
||||||
|
// We are within a function call or tuple, we can emit the error
|
||||||
|
// and recover.
|
||||||
|
self.eat_to_tokens(&[&token::CloseDelim(Delimiter::Parenthesis), &token::Comma]);
|
||||||
|
|
||||||
|
err.multipart_suggestion_verbose(
|
||||||
|
"you might have meant to open the body of the closure",
|
||||||
|
vec![
|
||||||
|
(prev.span.shrink_to_hi(), " {".to_string()),
|
||||||
|
(self.token.span.shrink_to_lo(), "}".to_string()),
|
||||||
|
],
|
||||||
|
Applicability::MaybeIncorrect,
|
||||||
|
);
|
||||||
|
err.emit();
|
||||||
|
}
|
||||||
|
_ if !matches!(token.kind, token::OpenDelim(Delimiter::Brace)) => {
|
||||||
|
// We don't have a heuristic to correctly identify where the block
|
||||||
|
// should be closed.
|
||||||
|
err.multipart_suggestion_verbose(
|
||||||
|
"you might have meant to open the body of the closure",
|
||||||
|
vec![(prev.span.shrink_to_hi(), " {".to_string())],
|
||||||
|
Applicability::HasPlaceholders,
|
||||||
|
);
|
||||||
|
return Err(err);
|
||||||
|
}
|
||||||
|
_ => return Err(err),
|
||||||
|
}
|
||||||
|
Ok(self.mk_expr_err(lo.to(self.token.span)))
|
||||||
|
}
|
||||||
|
|
||||||
/// Eats and discards tokens until one of `kets` is encountered. Respects token trees,
|
/// Eats and discards tokens until one of `kets` is encountered. Respects token trees,
|
||||||
/// passes through any errors encountered. Used for error recovery.
|
/// passes through any errors encountered. Used for error recovery.
|
||||||
pub(super) fn eat_to_tokens(&mut self, kets: &[&TokenKind]) {
|
pub(super) fn eat_to_tokens(&mut self, kets: &[&TokenKind]) {
|
||||||
|
|
|
@ -2209,6 +2209,7 @@ impl<'a> Parser<'a> {
|
||||||
fn parse_expr_closure(&mut self) -> PResult<'a, P<Expr>> {
|
fn parse_expr_closure(&mut self) -> PResult<'a, P<Expr>> {
|
||||||
let lo = self.token.span;
|
let lo = self.token.span;
|
||||||
|
|
||||||
|
let before = self.prev_token.clone();
|
||||||
let binder = if self.check_keyword(kw::For) {
|
let binder = if self.check_keyword(kw::For) {
|
||||||
let lo = self.token.span;
|
let lo = self.token.span;
|
||||||
let lifetime_defs = self.parse_late_bound_lifetime_defs()?;
|
let lifetime_defs = self.parse_late_bound_lifetime_defs()?;
|
||||||
|
@ -2239,7 +2240,12 @@ impl<'a> Parser<'a> {
|
||||||
FnRetTy::Default(_) => {
|
FnRetTy::Default(_) => {
|
||||||
let restrictions =
|
let restrictions =
|
||||||
self.restrictions - Restrictions::STMT_EXPR - Restrictions::ALLOW_LET;
|
self.restrictions - Restrictions::STMT_EXPR - Restrictions::ALLOW_LET;
|
||||||
self.parse_expr_res(restrictions, None)?
|
let prev = self.prev_token.clone();
|
||||||
|
let token = self.token.clone();
|
||||||
|
match self.parse_expr_res(restrictions, None) {
|
||||||
|
Ok(expr) => expr,
|
||||||
|
Err(err) => self.recover_closure_body(err, before, prev, token, lo, decl_hi)?,
|
||||||
|
}
|
||||||
}
|
}
|
||||||
_ => {
|
_ => {
|
||||||
// If an explicit return type is given, require a block to appear (RFC 968).
|
// If an explicit return type is given, require a block to appear (RFC 968).
|
||||||
|
@ -2459,10 +2465,16 @@ impl<'a> Parser<'a> {
|
||||||
/// Parses a `let $pat = $expr` pseudo-expression.
|
/// Parses a `let $pat = $expr` pseudo-expression.
|
||||||
fn parse_expr_let(&mut self, restrictions: Restrictions) -> PResult<'a, P<Expr>> {
|
fn parse_expr_let(&mut self, restrictions: Restrictions) -> PResult<'a, P<Expr>> {
|
||||||
let is_recovered = if !restrictions.contains(Restrictions::ALLOW_LET) {
|
let is_recovered = if !restrictions.contains(Restrictions::ALLOW_LET) {
|
||||||
Some(self.sess.emit_err(errors::ExpectedExpressionFoundLet {
|
let err = errors::ExpectedExpressionFoundLet {
|
||||||
span: self.token.span,
|
span: self.token.span,
|
||||||
reason: ForbiddenLetReason::OtherForbidden,
|
reason: ForbiddenLetReason::OtherForbidden,
|
||||||
}))
|
};
|
||||||
|
if self.prev_token.kind == token::BinOp(token::Or) {
|
||||||
|
// This was part of a closure, the that part of the parser recover.
|
||||||
|
return Err(err.into_diagnostic(&self.sess.span_diagnostic));
|
||||||
|
} else {
|
||||||
|
Some(self.sess.emit_err(err))
|
||||||
|
}
|
||||||
} else {
|
} else {
|
||||||
None
|
None
|
||||||
};
|
};
|
||||||
|
|
|
@ -0,0 +1,10 @@
|
||||||
|
// run-rustfix
|
||||||
|
fn main() {
|
||||||
|
let _ = vec![1, 2, 3].into_iter().map(|x| {
|
||||||
|
let y = x; //~ ERROR expected expression, found `let` statement
|
||||||
|
y
|
||||||
|
});
|
||||||
|
let _: () = foo(); //~ ERROR mismatched types
|
||||||
|
}
|
||||||
|
|
||||||
|
fn foo() {}
|
10
tests/ui/expr/malformed_closure/missing_block_in_fn_call.rs
Normal file
10
tests/ui/expr/malformed_closure/missing_block_in_fn_call.rs
Normal file
|
@ -0,0 +1,10 @@
|
||||||
|
// run-rustfix
|
||||||
|
fn main() {
|
||||||
|
let _ = vec![1, 2, 3].into_iter().map(|x|
|
||||||
|
let y = x; //~ ERROR expected expression, found `let` statement
|
||||||
|
y
|
||||||
|
);
|
||||||
|
let _: () = foo; //~ ERROR mismatched types
|
||||||
|
}
|
||||||
|
|
||||||
|
fn foo() {}
|
|
@ -0,0 +1,38 @@
|
||||||
|
error: expected expression, found `let` statement
|
||||||
|
--> $DIR/missing_block_in_fn_call.rs:4:9
|
||||||
|
|
|
||||||
|
LL | let _ = vec![1, 2, 3].into_iter().map(|x|
|
||||||
|
| --- while parsing the body of this closure
|
||||||
|
LL | let y = x;
|
||||||
|
| ^^^
|
||||||
|
|
|
||||||
|
= note: only supported directly in conditions of `if` and `while` expressions
|
||||||
|
help: you might have meant to open the body of the closure
|
||||||
|
|
|
||||||
|
LL ~ let _ = vec![1, 2, 3].into_iter().map(|x| {
|
||||||
|
LL | let y = x;
|
||||||
|
LL | y
|
||||||
|
LL ~ });
|
||||||
|
|
|
||||||
|
|
||||||
|
error[E0308]: mismatched types
|
||||||
|
--> $DIR/missing_block_in_fn_call.rs:7:17
|
||||||
|
|
|
||||||
|
LL | let _: () = foo;
|
||||||
|
| -- ^^^ expected `()`, found fn item
|
||||||
|
| |
|
||||||
|
| expected due to this
|
||||||
|
...
|
||||||
|
LL | fn foo() {}
|
||||||
|
| -------- function `foo` defined here
|
||||||
|
|
|
||||||
|
= note: expected unit type `()`
|
||||||
|
found fn item `fn() {foo}`
|
||||||
|
help: use parentheses to call this function
|
||||||
|
|
|
||||||
|
LL | let _: () = foo();
|
||||||
|
| ++
|
||||||
|
|
||||||
|
error: aborting due to 2 previous errors
|
||||||
|
|
||||||
|
For more information about this error, try `rustc --explain E0308`.
|
|
@ -0,0 +1,6 @@
|
||||||
|
fn main() {
|
||||||
|
let x = |x|
|
||||||
|
let y = x; //~ ERROR expected expression, found `let` statement
|
||||||
|
let _ = () + ();
|
||||||
|
y
|
||||||
|
}
|
|
@ -0,0 +1,16 @@
|
||||||
|
error: expected expression, found `let` statement
|
||||||
|
--> $DIR/missing_block_in_let_binding.rs:3:9
|
||||||
|
|
|
||||||
|
LL | let x = |x|
|
||||||
|
| --- while parsing the body of this closure
|
||||||
|
LL | let y = x;
|
||||||
|
| ^^^
|
||||||
|
|
|
||||||
|
= note: only supported directly in conditions of `if` and `while` expressions
|
||||||
|
help: you might have meant to open the body of the closure
|
||||||
|
|
|
||||||
|
LL | let x = |x| {
|
||||||
|
| +
|
||||||
|
|
||||||
|
error: aborting due to previous error
|
||||||
|
|
|
@ -0,0 +1,9 @@
|
||||||
|
// run-rustfix
|
||||||
|
fn main() {
|
||||||
|
let _ = vec![1, 2, 3].into_iter().map(|x| {
|
||||||
|
let y = x; //~ ERROR expected expression, found `let` statement
|
||||||
|
y
|
||||||
|
});
|
||||||
|
let _: () = foo(); //~ ERROR mismatched types
|
||||||
|
}
|
||||||
|
fn foo() {}
|
|
@ -0,0 +1,9 @@
|
||||||
|
// run-rustfix
|
||||||
|
fn main() {
|
||||||
|
let _ = vec![1, 2, 3].into_iter().map({|x|
|
||||||
|
let y = x; //~ ERROR expected expression, found `let` statement
|
||||||
|
y
|
||||||
|
});
|
||||||
|
let _: () = foo; //~ ERROR mismatched types
|
||||||
|
}
|
||||||
|
fn foo() {}
|
|
@ -0,0 +1,36 @@
|
||||||
|
error: expected expression, found `let` statement
|
||||||
|
--> $DIR/ruby_style_closure_parse_error.rs:4:9
|
||||||
|
|
|
||||||
|
LL | let _ = vec![1, 2, 3].into_iter().map({|x|
|
||||||
|
| --- while parsing the body of this closure
|
||||||
|
LL | let y = x;
|
||||||
|
| ^^^
|
||||||
|
|
|
||||||
|
= note: only supported directly in conditions of `if` and `while` expressions
|
||||||
|
help: you might have meant to open the body of the closure, instead of enclosing the closure in a block
|
||||||
|
|
|
||||||
|
LL - let _ = vec![1, 2, 3].into_iter().map({|x|
|
||||||
|
LL + let _ = vec![1, 2, 3].into_iter().map(|x| {
|
||||||
|
|
|
||||||
|
|
||||||
|
error[E0308]: mismatched types
|
||||||
|
--> $DIR/ruby_style_closure_parse_error.rs:7:17
|
||||||
|
|
|
||||||
|
LL | let _: () = foo;
|
||||||
|
| -- ^^^ expected `()`, found fn item
|
||||||
|
| |
|
||||||
|
| expected due to this
|
||||||
|
LL | }
|
||||||
|
LL | fn foo() {}
|
||||||
|
| -------- function `foo` defined here
|
||||||
|
|
|
||||||
|
= note: expected unit type `()`
|
||||||
|
found fn item `fn() {foo}`
|
||||||
|
help: use parentheses to call this function
|
||||||
|
|
|
||||||
|
LL | let _: () = foo();
|
||||||
|
| ++
|
||||||
|
|
||||||
|
error: aborting due to 2 previous errors
|
||||||
|
|
||||||
|
For more information about this error, try `rustc --explain E0308`.
|
|
@ -2,9 +2,15 @@ error: expected identifier, found `:`
|
||||||
--> $DIR/or-patterns-syntactic-fail.rs:11:19
|
--> $DIR/or-patterns-syntactic-fail.rs:11:19
|
||||||
|
|
|
|
||||||
LL | let _ = |A | B: E| ();
|
LL | let _ = |A | B: E| ();
|
||||||
| ^ expected identifier
|
| ---- ^ expected identifier
|
||||||
|
| |
|
||||||
|
| while parsing the body of this closure
|
||||||
|
|
|
|
||||||
= note: type ascription syntax has been removed, see issue #101728 <https://github.com/rust-lang/rust/issues/101728>
|
= note: type ascription syntax has been removed, see issue #101728 <https://github.com/rust-lang/rust/issues/101728>
|
||||||
|
help: you might have meant to open the body of the closure
|
||||||
|
|
|
||||||
|
LL | let _ = |A | { B: E| ();
|
||||||
|
| +
|
||||||
|
|
||||||
error: top-level or-patterns are not allowed in function parameters
|
error: top-level or-patterns are not allowed in function parameters
|
||||||
--> $DIR/or-patterns-syntactic-fail.rs:18:13
|
--> $DIR/or-patterns-syntactic-fail.rs:18:13
|
||||||
|
|
|
@ -1,5 +1,6 @@
|
||||||
pub fn test() {
|
pub fn test() {
|
||||||
foo(|_|) //~ ERROR expected expression, found `)`
|
foo(|_|) //~ ERROR expected expression, found `)`
|
||||||
|
//~^ ERROR cannot find function `foo` in this scope
|
||||||
}
|
}
|
||||||
|
|
||||||
fn main() { }
|
fn main() { }
|
||||||
|
|
|
@ -2,7 +2,21 @@ error: expected expression, found `)`
|
||||||
--> $DIR/issue-32505.rs:2:12
|
--> $DIR/issue-32505.rs:2:12
|
||||||
|
|
|
|
||||||
LL | foo(|_|)
|
LL | foo(|_|)
|
||||||
| ^ expected expression
|
| ---^ expected expression
|
||||||
|
| |
|
||||||
|
| while parsing the body of this closure
|
||||||
|
|
|
||||||
|
help: you might have meant to open the body of the closure
|
||||||
|
|
|
||||||
|
LL | foo(|_| {})
|
||||||
|
| ++
|
||||||
|
|
||||||
error: aborting due to previous error
|
error[E0425]: cannot find function `foo` in this scope
|
||||||
|
--> $DIR/issue-32505.rs:2:5
|
||||||
|
|
|
||||||
|
LL | foo(|_|)
|
||||||
|
| ^^^ not found in this scope
|
||||||
|
|
||||||
|
error: aborting due to 2 previous errors
|
||||||
|
|
||||||
|
For more information about this error, try `rustc --explain E0425`.
|
||||||
|
|
Loading…
Add table
Add a link
Reference in a new issue