--- /dev/null
+For high-level intro to how type checking works in rustc, see the
+[type checking] chapter of the [rustc dev guide].
+
+[type checking]: https://rustc-dev-guide.rust-lang.org/type-checking.html
+[rustc dev guide]: https://rustc-dev-guide.rust-lang.org/