Add expectation for { when parsing lone coroutine qualifiers#142362
Merged
bors merged 1 commit intorust-lang:masterfrom Jun 12, 2025
Merged
Add expectation for { when parsing lone coroutine qualifiers#142362bors merged 1 commit intorust-lang:masterfrom
{ when parsing lone coroutine qualifiers#142362bors merged 1 commit intorust-lang:masterfrom
Conversation
Collaborator
rustbot
added
S-waiting-on-review
Veykril
commented
Jun 11, 2025
Comment on lines
1522
to
-1538
| // `Span::at_least_rust_2018()` is somewhat expensive; don't get it repeatedly. | ||
| let at_async = this.check_keyword(exp!(Async)); | ||
| // check for `gen {}` and `gen move {}` | ||
| // or `async gen {}` and `async gen move {}` | ||
| // FIXME: (async) gen closures aren't yet parsed. | ||
| // FIXME(gen_blocks): Parse `gen async` and suggest swap | ||
| if this.token_uninterpolated_span().at_least_rust_2024() | ||
| // check for `gen {}` and `gen move {}` | ||
| // or `async gen {}` and `async gen move {}` | ||
| && (this.is_gen_block(kw::Gen, 0) | ||
| || (this.check_keyword(exp!(Async)) && this.is_gen_block(kw::Gen, 1))) | ||
| && this.is_gen_block(kw::Gen, at_async as usize) | ||
| { | ||
| // FIXME: (async) gen closures aren't yet parsed. | ||
| this.parse_gen_block() | ||
| } else if this.check_keyword(exp!(Async)) { | ||
| // FIXME(gen_blocks): Parse `gen async` and suggest swap | ||
| if this.is_gen_block(kw::Async, 0) { | ||
| // Check for `async {` and `async move {`, | ||
| this.parse_gen_block() | ||
| } else { | ||
| this.parse_expr_closure() | ||
| } |
Member
Author
There was a problem hiding this comment.
Shuffled this around while looking through the call path as I found the {async} gen condition a bit heavy on the eyes. Happy to undo this
This comment has been minimized.
This comment has been minimized.
Veykril
force-pushed
the
push-rzmrsswqourz
branch
from
36b11cf to
ef92bb9
Compare
oli-obk
approved these changes
Jun 11, 2025
| && coroutine_kind.is_some() | ||
| { | ||
| // couroutine closures and generators can have the same qualifiers, so we might end up | ||
| // in here if there is a missing `|` but also no `{`. Adjust the expectations in that case. |
Contributor
There was a problem hiding this comment.
Hmm... this feels like sth that we'd regularly hit elsewhere, too, because is_gen_block and similar functions won't put their things in the expectation list. Unsure how to resolve that, so what you wrote is ok, but it does feel a bit like papering over a more common issue
Member
Author
There was a problem hiding this comment.
I was feeling the same about this actually, but I couldn't figure out a solution for this either for the time being. We would need to start consuming the qualifier list before dispatching into the actual coroutine / generator parsing routines I think given we can't build expectations for lookaheads.
Veykril
force-pushed
the
push-rzmrsswqourz
branch
from
ef92bb9 to
edc405d
Compare
Member
Author
|
@bors r=oli-obk |
Collaborator
bors
added
S-waiting-on-bors
bors
added a commit
that referenced
this pull request
Jun 11, 2025
Rollup of 9 pull requests Successful merges: - #142305 (Remove unneeded `check_id` calls as they are already called in `visit_id` in `EarlyContextAndPass` type) - #142314 (remove ice group pings from `triagebot.toml`) - #142343 (remove myself from the project) - #142346 (Add tracing import to execution context) - #142356 (Fix enter_trace_span!() using wrong $crate paths) - #142362 (Add expectation for `{` when parsing lone coroutine qualifiers) - #142364 (Do not warn on `rust.incremental` when using download CI rustc) - #142369 (Improve some attribute docs and rename groups) - #142374 (Fix missing newline trim in bootstrap) r? `@ghost` `@rustbot` modify labels: rollup
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
5 participants
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Fixes #80931