Actually report normalization-based type errors correctly for alias-relate obligations in new solver#126403

Merged

bors merged 1 commit intorust-lang:masterfrom

compiler-errors:better-type-errors

Jul 3, 2024

Commits on Jul 2, 2024

Actually report normalization-based type errors correctly for alias-relate obligations in new solver
compiler-errors
committed