-Znext-solver instantiate predicate binder without recanonicalizing goal#146725
Merged
bors merged 1 commit intorust-lang:masterfrom Oct 22, 2025
Merged
`-Znext-solver` instantiate predicate binder without recanonicalizing goal#146725bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
Commits
Commits on Oct 20, 2025
- authored andcommitted
