accept review suggestion

Co-authored-by: lcnr <[email protected]>

Author: tshepang

src/type-checking.md

@@ -1,8 +1,6 @@
 # Type checking
 
-The [`hir_analysis`] crate contains the source for "type collection"
-and "type checking", as well as a few other bits of related functionality. (It
-draws heavily on the [type inference] and [trait solving].)
+The [`hir_analysis`] crate contains the source for "type collection" as well as a bunch of related functionality. Checking the bodies of functions is implemented in the [`hir_typeck`] crate. (It draws heavily on the [type inference] and [trait solving].)
 
 [`hir_analysis`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_hir_analysis/index.html
 [type inference]: ./type-inference.md