Rollup merge of #145047 - lcnr:yeet-mir-typeck, r=lqd

move `type_check` out of `compute_regions`

A step towards rust-lang/rust#139587. I don't think there's a clear reason for why MIR type check should be in `compute_regions` and this simplifies future PRs here.

Author: Zalathar