diff options
| author | Tshepang Mbambo <tshepang@gmail.com> | 2025-05-10 12:34:43 +0200 |
|---|---|---|
| committer | Tshepang Mbambo <tshepang@gmail.com> | 2025-05-10 12:34:43 +0200 |
| commit | 9f07c1ef93142e7fe8ffd1fdd7b458163f3d5623 (patch) | |
| tree | ae2a32527e858acada229d621e46682e85b30782 | |
| parent | 4e684a997740688f4831b512a9c31f644822b67e (diff) | |
| download | rust-9f07c1ef93142e7fe8ffd1fdd7b458163f3d5623.tar.gz rust-9f07c1ef93142e7fe8ffd1fdd7b458163f3d5623.zip | |
make more readable
| -rw-r--r-- | src/doc/rustc-dev-guide/src/ty-fold.md | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/doc/rustc-dev-guide/src/ty-fold.md b/src/doc/rustc-dev-guide/src/ty-fold.md index dcc565b31cd..f659612e816 100644 --- a/src/doc/rustc-dev-guide/src/ty-fold.md +++ b/src/doc/rustc-dev-guide/src/ty-fold.md @@ -1,7 +1,7 @@ # `TypeFoldable` and `TypeFolder` In [a previous chapter], we discussed instantiating binders. This involves looking at everything inside of a `Early(Binder)` -to find any usages of the bound vars in order to replace them. Binders can wrap an arbitrary Rust type `T` not just a `Ty` so +to find any usages of the bound vars in order to replace them. Binders can wrap an arbitrary Rust type `T`, not just a `Ty`. So, how do we implement the `instantiate` methods on the `Early/Binder` types. The answer is a couple of traits: |