Use error term in projection if missing associated item in new solver#111488

Merged

bors merged 1 commit intorust-lang:masterfrom

compiler-errors:error-term

May 16, 2023

Commits on May 16, 2023

Use error term if missing associated item in new solver
compiler-errors
committed