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 4e684a9 commit 9f07c1eCopy full SHA for 9f07c1e
src/doc/rustc-dev-guide/src/ty-fold.md
@@ -1,7 +1,7 @@
1
# `TypeFoldable` and `TypeFolder`
2
3
In [a previous chapter], we discussed instantiating binders. This involves looking at everything inside of a `Early(Binder)`
4
-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,
5
how do we implement the `instantiate` methods on the `Early/Binder` types.
6
7
The answer is a couple of traits:
0 commit comments