Auto merge of #88266 - nikomatsakis:issue-87879, r=jackh726

resolve type variables after checking casts

r? `@jackh726`

Fixes #87814
Fixes #88118

Supercedes #87879 (cc `@ldm0)`

diff --cc compiler/rustc_typeck/src/check/mod.rs
Simple merge

diff --cc compiler/rustc_typeck/src/expr_use_visitor.rs
Simple merge