diff options
| author | Tshepang Mbambo <tshepang@gmail.com> | 2025-05-10 12:35:50 +0200 |
|---|---|---|
| committer | Tshepang Mbambo <tshepang@gmail.com> | 2025-05-10 12:35:50 +0200 |
| commit | eb6749c02efff855b4b906f4227577d36c514ec4 (patch) | |
| tree | 5eefcd6e8e1738a8537b1e614d18844993ce9214 /src/doc/rustc-dev-guide | |
| parent | 2efa4e61153fca183d2098fecf6342e0a81f4559 (diff) | |
| download | rust-eb6749c02efff855b4b906f4227577d36c514ec4.tar.gz rust-eb6749c02efff855b4b906f4227577d36c514ec4.zip | |
is a question
Diffstat (limited to 'src/doc/rustc-dev-guide')
| -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 d413e5038ce..a1a9dcf7771 100644 --- a/src/doc/rustc-dev-guide/src/ty-fold.md +++ b/src/doc/rustc-dev-guide/src/ty-fold.md @@ -4,7 +4,7 @@ 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, how do we implement the `instantiate` methods on the `Early/Binder` types. +So, how do we implement the `instantiate` methods on the `Early/Binder` types? The answer is a couple of traits: [`TypeFoldable`](https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/fold/trait.TypeFoldable.html) |