When generating WF criteria, do not visit the same type more than once#23013
Merged
bors merged 1 commit intorust-lang:masterfrom Mar 6, 2015
Merged
When generating WF criteria, do not visit the same type more than once#23013bors merged 1 commit intorust-lang:masterfrom
bors merged 1 commit intorust-lang:masterfrom
