Skip to content

Commit

Permalink
Merge pull request #3590 from rust-lang/TC/fix-higher-ranked-not-high…
Browse files Browse the repository at this point in the history
…er-kinded

Fix "higher kinded" -> "higher ranked" in RFC 3498
  • Loading branch information
fmease authored Mar 19, 2024
2 parents 43e8e96 + e413085 commit 6591585
Showing 1 changed file with 2 additions and 2 deletions.
4 changes: 2 additions & 2 deletions text/3498-lifetime-capture-rules-2024.md
Original file line number Diff line number Diff line change
Expand Up @@ -288,7 +288,7 @@ impl<T> Foo<T> {

### 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
trait Trait<'a> {
Expand All @@ -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.

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

Expand Down

0 comments on commit 6591585

Please sign in to comment.