Make the WF check skip less binders#50815

Closed

leoyvens wants to merge 1 commit intorust-lang:masterfrom leoyvens:wf-check-binder-friendly

+69-23

Commits on May 17, 2018

Make the WF check a bit more friendly to binders
leoyvens
committed