Type checking expressions.
See [rustc_hir_analysis::check] for more context on type checking in general.
rustc_hir_analysis::check