Fix effect predicates from item bounds in old solver#134638
Merged
bors merged 1 commit intorust-lang:masterfrom Dec 24, 2024
Merged
Fix effect predicates from item bounds in old solver#134638bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom