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

correct type of SubstsRef (#1347)

This commit is contained in:
Ali MJ Al-Nasrawy 2022-05-07 03:58:20 +03:00 committed by GitHub
parent 081e290a26
commit d331d7ef96
1 changed files with 1 additions and 1 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
src/generics.md
View File

@ -10,7 +10,7 @@ In rustc this is done using the `SubstsRef` that we mentioned above (“substs
Conceptually, you can think of `SubstsRef` as a list of types that are to be substituted for the Conceptually, you can think of `SubstsRef` as a list of types that are to be substituted for the
generic type parameters of the ADT. generic type parameters of the ADT.
`SubstsRef` is a type alias of `List<GenericArg<'tcx>>` (see [`List` rustdocs][list]). `SubstsRef` is a type alias of `&'tcx List<GenericArg<'tcx>>` (see [`List` rustdocs][list]).
[`GenericArg`] is essentially a space-efficient wrapper around [`GenericArgKind`], which is an enum [`GenericArg`] is essentially a space-efficient wrapper around [`GenericArgKind`], which is an enum
indicating what kind of generic the type parameter is (type, lifetime, or const). Thus, `SubstsRef` indicating what kind of generic the type parameter is (type, lifetime, or const). Thus, `SubstsRef`
is conceptually like a `&'tcx [GenericArgKind<'tcx>]` slice (but it is actually a `List`). is conceptually like a `&'tcx [GenericArgKind<'tcx>]` slice (but it is actually a `List`).