Make sure that predicates with unmentioned bound vars are still considered global in the old solver#117589

Merged

bors merged 1 commit intorust-lang:masterfrom

compiler-errors:global-vars-bug

Nov 5, 2023

Commits on Nov 4, 2023

Make sure that predicates with unmentioned bound vars are still considered global in the old solver
compiler-errors
committed