Module expr

Type checking expressions.

See rustc_hir_analysis::check for more context on type checking in general.