[crater] Only consider predicate non-global if binder vars are in PREDICATE binder#140209
Draft
compiler-errors wants to merge 1 commit intorust-lang:masterfrom
Draft
[crater] Only consider predicate non-global if binder vars are in PREDICATE binder#140209compiler-errors wants to merge 1 commit intorust-lang:masterfrom
compiler-errors wants to merge 1 commit intorust-lang:masterfrom