Skip to content

Restore region uniquification in the new solver 🎉 #114117

Merged
bors merged 2 commits into
rust-lang:masterfrom
compiler-errors:return-to-uniq
Jul 27, 2023
Merged

Restore region uniquification in the new solver 🎉 #114117
bors merged 2 commits into
rust-lang:masterfrom
compiler-errors:return-to-uniq

Consider a goal as NOT changed if its response is identity modulo reg…

1ffc6ca
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs