We read every piece of feedback, and take your input very seriously.
To see all available qualifiers, see our documentation.
1 parent 7d3c1c8 commit 042c49cCopy full SHA for 042c49c
src/type-checking.md
@@ -1,10 +1,10 @@
1
# Type checking
2
3
-The [`rustc_typeck`][typeck] crate contains the source for "type collection"
+The [`hir_analysis`] crate contains the source for "type collection"
4
and "type checking", as well as a few other bits of related functionality. (It
5
draws heavily on the [type inference] and [trait solving].)
6
7
-[typeck]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_hir_analysis/index.html
+[`hir_analysis`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_hir_analysis/index.html
8
[type inference]: ./type-inference.md
9
[trait solving]: ./traits/resolution.md
10
0 commit comments