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