For high-level intro to how type checking works in rustc, see the
[type checking] chapter of the [rustc guide].

[type checking]: https://rust-lang-nursery.github.io/rustc-guide/type-checking.html
[rustc guide]: https://rust-lang-nursery.github.io/rustc-guide/
