7a72560154
We use more specific `mk_*` functions in most places, might as well use them as much as possible.
For high-level intro to how type checking works in rustc, see the type checking chapter of the rustc dev guide.
7a72560154