File tree Expand file tree Collapse file tree 1 file changed +2
-1
lines changed
src/doc/rustc-dev-guide/src Expand file tree Collapse file tree 1 file changed +2
-1
lines changed Original file line number Diff line number Diff line change 11# ` TypeFoldable ` and ` TypeFolder `
22
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 `
44to 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
55how do we implement the ` instantiate ` methods on the ` Early/Binder ` types.
66
@@ -102,3 +102,4 @@ calls
102102[ ty_for_param] ( https://github.com/rust-lang/rust/blob/75ff3110ac6d8a0259023b83fd20d7ab295f8dd6/src/librustc_middle/ty/subst.rs#L552-L587 )
103103and all that does is index into the list of substitutions with the index of the ` Param ` .
104104
105+ [ a previous chapter ] : ty_module/instantiating_binders.md
You can’t perform that action at this time.
0 commit comments