From a5f2cd5b633166f9d09aea668b484fcea833ff8d Mon Sep 17 00:00:00 2001 From: Boxy Date: Tue, 11 Jul 2023 21:21:26 +0100 Subject: [PATCH] Gats isnt the only cool kid anymore Co-authored-by: Michael Goulet --- src/bound-vars-and-params.md | 4 +--- 1 file changed, 1 insertion(+), 3 deletions(-) diff --git a/src/bound-vars-and-params.md b/src/bound-vars-and-params.md index 923eae10..50d5cefb 100644 --- a/src/bound-vars-and-params.md +++ b/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