When generating WF criteria, do not visit the same type more than once#23013

Merged

bors merged 1 commit intorust-lang:masterfrom

nikomatsakis:syncbox

Mar 6, 2015

Commits on Mar 4, 2015

When generating WF criteria, do not visit the same type more than
nikomatsakis
committed