Skip to content

[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
compiler-errors:global-outermost-binder

Commits