File tree Expand file tree Collapse file tree 1 file changed +5
-3
lines changed
src/doc/rustc-dev-guide/src Expand file tree Collapse file tree 1 file changed +5
-3
lines changed Original file line number Diff line number Diff line change 11# ` TypeFoldable ` and ` TypeFolder `
22
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,
5- how do we implement the ` instantiate ` methods on the ` Early/Binder ` types.
3+ In [ a previous chapter] , we discussed instantiating binders.
4+ This involves looking at everything inside of a ` Early(Binder) `
5+ to find any usages of the bound vars in order to replace them.
6+ Binders can wrap an arbitrary Rust type ` T ` , not just a ` Ty ` .
7+ So, how do we implement the ` instantiate ` methods on the ` Early/Binder ` types.
68
79The answer is a couple of traits:
810[ ` TypeFoldable ` ] ( https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/fold/trait.TypeFoldable.html )
You can’t perform that action at this time.
0 commit comments