diff options
| author | bors <bors@rust-lang.org> | 2024-07-25 11:10:56 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2024-07-25 11:10:56 +0000 |
| commit | 7f314c643db24d9c8ba737e2938c38c44f562986 (patch) | |
| tree | b973f3784cab57267776636096504192a25f9f3e /compiler/rustc_codegen_gcc | |
| parent | 0adc1e389ad54216b2859d13f2b854fbef0b76ab (diff) | |
| parent | 71e3d882816c2f9dd75f0eea13edf8487fd23ecd (diff) | |
| download | rust-7f314c643db24d9c8ba737e2938c38c44f562986.tar.gz rust-7f314c643db24d9c8ba737e2938c38c44f562986.zip | |
Auto merge of #17676 - winstxnhdw:precise-capturing, r=Veykril
feat: add preliminary support for `+ use<..>` `precise_capturing` syntax
## Summary
This PR adds basic support for the following syntax.
```rs
fn captures<'a: 'a, 'b: 'b, T>() -> impl Sized + use<'b, T> {}
// ~~~~~~~~~~~~~~~~~~~~~~~
// This opaque type does not capture `'a`.
fn outlives<'o, T: 'o>(_: T) {}
fn caller<'o, 'a, 'b: 'o, T: 'o>() {
// ~~
// ^ Note that we don't need `'a: 'o`.
outlives::<'o>(captures::<'a, 'b, T>());
}
```
Related to #17598
Diffstat (limited to 'compiler/rustc_codegen_gcc')
0 files changed, 0 insertions, 0 deletions