Deeply normalize TypeTrace
when reporting type error in new solver#131756
Merged
bors merged 2 commits intorust-lang:masterfrom Oct 24, 2024
TypeTrace
when reporting type error in new solver#131756