Restore region uniquification in the new solver 🎉 #114117

Merged

bors merged 2 commits intorust-lang:masterfrom compiler-errors:return-to-uniq

Jul 27, 2023

+48-13

Commits on Jul 27, 2023

Revert "don't uniquify regions when canonicalizing"
compiler-errors
committed
Consider a goal as NOT changed if its response is identity modulo regions
compiler-errors
committed