diff options
| author | Boxy <supbscripter@gmail.com> | 2023-07-11 21:21:26 +0100 |
|---|---|---|
| committer | Michael Goulet <michael@errs.io> | 2023-07-11 16:43:01 -0400 |
| commit | 3bcfdddbb171d75eb84daf14fc6e595fe7f4de38 (patch) | |
| tree | a42d60faf778fc64193cd2fe0144f301859ea0bc /src/doc/rustc-dev-guide | |
| parent | 26aea847939d57a593eb650aa1e2ee59033a7e5d (diff) | |
| download | rust-3bcfdddbb171d75eb84daf14fc6e595fe7f4de38.tar.gz rust-3bcfdddbb171d75eb84daf14fc6e595fe7f4de38.zip | |
Gats isnt the only cool kid anymore
Co-authored-by: Michael Goulet <michael@errs.io>
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -rw-r--r-- | src/doc/rustc-dev-guide/src/bound-vars-and-params.md | 4 |
1 files changed, 1 insertions, 3 deletions
diff --git a/src/doc/rustc-dev-guide/src/bound-vars-and-params.md b/src/doc/rustc-dev-guide/src/bound-vars-and-params.md index 923eae10fd1..50d5cefb1f8 100644 --- a/src/doc/rustc-dev-guide/src/bound-vars-and-params.md +++ b/src/doc/rustc-dev-guide/src/bound-vars-and-params.md @@ -29,9 +29,7 @@ in [this chapter](./generics.md). ## Late-bound parameters -Late-bound parameters in `rustc` are handled quite differently (they are also -specialized to lifetimes since, right now, only late-bound lifetimes are -supported, though with GATs that has to change). We indicate their potential +Late-bound parameters in `rustc` are handled differently. We indicate their presence by a [`Binder`] type. The [`Binder`] doesn't know how many variables there are at that binding level. This can only be determined by walking the type itself and collecting them. So a type like `for<'a, 'b> ('a, 'b)` would be |