Unrolled build for rust-lang#138357

Rollup merge of rust-lang#138357 - lcnr:goodbye-TypeVerifier-rarw, r=compiler-errors

merge `TypeChecker` and `TypeVerifier`

Stacked on top of rust-lang#138354. Best reviewed commit by commit.

r? `@compiler-errors`

Author: rust-timer