diff options
| author | bors <bors@rust-lang.org> | 2023-12-22 14:17:10 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2023-12-22 14:17:10 +0000 |
| commit | 208dd2032b40ec3f1585dca0eacd7b0e542d22f5 (patch) | |
| tree | c1d8fd29c23480f4d8d10d6e36367f9c739133ab /compiler/rustc_errors/src/json.rs | |
| parent | c1fc1d18cd38cab44696a9b0e0d52633863308fd (diff) | |
| parent | 397f4a15bbcad7d22f8c09edb72a0d49e3da80c9 (diff) | |
| download | rust-208dd2032b40ec3f1585dca0eacd7b0e542d22f5.tar.gz rust-208dd2032b40ec3f1585dca0eacd7b0e542d22f5.zip | |
Auto merge of #118847 - eholk:for-await, r=compiler-errors
Add support for `for await` loops
This adds support for `for await` loops. This includes parsing, desugaring in AST->HIR lowering, and adding some support functions to the library.
Given a loop like:
```rust
for await i in iter {
...
}
```
this is desugared to something like:
```rust
let mut iter = iter.into_async_iter();
while let Some(i) = loop {
match core::pin::Pin::new(&mut iter).poll_next(cx) {
Poll::Ready(i) => break i,
Poll::Pending => yield,
}
} {
...
}
```
This PR also adds a basic `IntoAsyncIterator` trait. This is partly for symmetry with the way `Iterator` and `IntoIterator` work. The other reason is that for async iterators it's helpful to have a place apart from the data structure being iterated over to store state. `IntoAsyncIterator` gives us a good place to do this.
I've gated this feature behind `async_for_loop` and opened #118898 as the feature tracking issue.
r? `@compiler-errors`
Diffstat (limited to 'compiler/rustc_errors/src/json.rs')
0 files changed, 0 insertions, 0 deletions
