dnrops
/
rfcs
mirror of https://github.com/rust-lang/rfcs.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

Merge pull request #3590 from rust-lang/TC/fix-higher-ranked-not-higher-kinded 

Fix "higher kinded" -> "higher ranked" in RFC 3498
This commit is contained in:
León Orell Valerian Liehr 2024-03-19 18:12:58 +01:00 committed by GitHub
parent 43e8e96724 e413085eca
commit 6591585f4f
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
text/3498-lifetime-capture-rules-2024.md
View File

@ -288,7 +288,7 @@ impl<T> Foo<T> {
### Capturing lifetimes from `for<..>` binders ### Capturing lifetimes from `for<..>` binders
Once higher kinded lifetime bounds on nested opaque types are supported in Rust (see [#104288][]), the following code will become legal: Once higher ranked lifetime bounds on nested opaque types are supported in Rust (see [#104288][]), the following code will become legal:
```rust ```rust
trait Trait<'a> { trait Trait<'a> {
@ -309,7 +309,7 @@ fn foo() -> impl for<'a> Trait<'a, Assoc = impl Sized> {
That is, the `'a` lifetime parameter from the higher ranked trait bounds (HRTBs) `for<..>` binder is in scope for the `impl Sized` opaque type, so it is captured under the rules of this RFC. That is, the `'a` lifetime parameter from the higher ranked trait bounds (HRTBs) `for<..>` binder is in scope for the `impl Sized` opaque type, so it is captured under the rules of this RFC.
Note that support for higher kinded lifetime bounds is not required by this RFC and is not a blocker to stabilizing the rules specified in this RFC. Note that support for higher ranked lifetime bounds is not required by this RFC and is not a blocker to stabilizing the rules specified in this RFC.
[#104288]: https://github.com/rust-lang/rust/issues/104288 [#104288]: https://github.com/rust-lang/rust/issues/104288