File tree Expand file tree Collapse file tree 1 file changed +2
-1
lines changed Expand file tree Collapse file tree 1 file changed +2
-1
lines changed Original file line number Diff line number Diff line change 1
1
# ` TypeFoldable ` and ` TypeFolder `
2
2
3
- In the previous chapter we discussed instantiating binders. This must involves looking at everything inside of a ` Early/Binder `
3
+ In [ a previous chapter] , we discussed instantiating binders. This must involves looking at everything inside of a ` Early/Binder `
4
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
5
how do we implement the ` instantiate ` methods on the ` Early/Binder ` types.
6
6
@@ -102,3 +102,4 @@ calls
102
102
[ ty_for_param] ( https://github.com/rust-lang/rust/blob/75ff3110ac6d8a0259023b83fd20d7ab295f8dd6/src/librustc_middle/ty/subst.rs#L552-L587 )
103
103
and all that does is index into the list of substitutions with the index of the ` Param ` .
104
104
105
+ [ a previous chapter ] : ty_module/instantiating_binders.md
You can’t perform that action at this time.
0 commit comments