We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
There was an error while loading. Please reload this page.
1 parent 59f1356 commit 6e0f9a2Copy full SHA for 6e0f9a2
src/bound-vars-and-params.md
@@ -29,9 +29,7 @@ in [this chapter](./generics.md).
29
30
## Late-bound parameters
31
32
-Late-bound parameters in `rustc` are handled quite differently (they are also
33
-specialized to lifetimes since, right now, only late-bound lifetimes are
34
-supported, though with GATs that has to change). We indicate their potential
+Late-bound parameters in `rustc` are handled differently. We indicate their
35
presence by a [`Binder`] type. The [`Binder`] doesn't know how many variables
36
there are at that binding level. This can only be determined by walking the
37
type itself and collecting them. So a type like `for<'a, 'b> ('a, 'b)` would be
0 commit comments