mirror
/
rustc-dev-guide
mirror of https://github.com/rust-lang/rustc-dev-guide.git
1
0
Fork 0
Code Issues Packages Projects Releases Wiki Activity

avoid repetition

This commit is contained in:
Tshepang Mbambo 2023-08-22 08:52:20 +02:00
parent bfacba3ef7
commit e4ace0f299
1 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

4
src/generics.md
View File

@ -127,7 +127,7 @@ You may have a couple of followup questions…
`MyStruct`: `Adt(Foo, &[Param(0), Param(1)])`. `MyStruct`: `Adt(Foo, &[Param(0), Param(1)])`.
**`instantiate`** How do we actually do the substitutions? There is a function for that too! You **`instantiate`** How do we actually do the substitutions? There is a function for that too! You
use [`instantiate`][instantiate] to replace a `GenericArgsRef` with another list of types. use [`instantiate`] to replace a `GenericArgsRef` with another list of types.
[Here is an example of actually using `instantiate` in the compiler][instantiatex]. [Here is an example of actually using `instantiate` in the compiler][instantiatex].
The exact details are not too important, but in this piece of code, we happen to be The exact details are not too important, but in this piece of code, we happen to be
@ -135,7 +135,7 @@ converting from the `rustc_hir::Ty` to a real `ty::Ty`. You can see that we firs
(`args`). Then we call `type_of` to get a type and call `ty.instantiate(tcx, args)` to get a new (`args`). Then we call `type_of` to get a type and call `ty.instantiate(tcx, args)` to get a new
version of `ty` with the args made. version of `ty` with the args made.
[instantiate]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/generic_args/struct.EarlyBinder.html#method.instantiate [`instantiate`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_middle/ty/generic_args/struct.EarlyBinder.html#method.instantiate
[instantiatex]: https://github.com/rust-lang/rust/blob/8a562f9671e36cf29c9c794c2646bcf252d55535/compiler/rustc_hir_analysis/src/astconv/mod.rs#L905-L927 [instantiatex]: https://github.com/rust-lang/rust/blob/8a562f9671e36cf29c9c794c2646bcf252d55535/compiler/rustc_hir_analysis/src/astconv/mod.rs#L905-L927
**Note on indices:** It is possible for the indices in `Param` to not match with what we expect. For **Note on indices:** It is possible for the indices in `Param` to not match with what we expect. For