Skip to content

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-bugNov 5, 2023
+47-32

Commits