1 For high-level intro to how type checking works in rustc, see the
2 [type checking] chapter of the [rustc guide].
4 [type checking]: https://rust-lang.github.io/rustc-guide/type-checking.html
5 [rustc guide]: https://rust-lang.github.io/rustc-guide/