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