accept review suggestion
Co-authored-by: lcnr <rust@lcnr.de>
This commit is contained in:
parent
05d22ebd50
commit
8b24a1e9bd
|
|
@ -1,8 +1,6 @@
|
||||||
# Type checking
|
# Type checking
|
||||||
|
|
||||||
The [`hir_analysis`] crate contains the source for "type collection"
|
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].)
|
||||||
and "type checking", as well as a few other bits of related functionality. (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
|
[`hir_analysis`]: https://doc.rust-lang.org/nightly/nightly-rustc/rustc_hir_analysis/index.html
|
||||||
[type inference]: ./type-inference.md
|
[type inference]: ./type-inference.md
|
||||||
|
|
|
||||||
Loading…
Reference in New Issue