Structurally resolve projections (but actually) in the new solver#108833

Closed

compiler-errors wants to merge 2 commits intorust-lang:masterfrom

compiler-errors:new-solver-structurally-resolve-but-actually

Commits on Mar 6, 2023

Filter nested obligations during HIR coercion
compiler-errors
committed

Commits on Mar 7, 2023

Properly structurally resolve type for HIR and MIR cast checks
compiler-errors
committed