]> git.lizzy.rs Git - rust.git/commitdiff
Rollup merge of #23013 - nikomatsakis:syncbox, r=pnkfelix
authorManish Goregaokar <manishsmail@gmail.com>
Wed, 4 Mar 2015 10:17:02 +0000 (15:47 +0530)
committerManish Goregaokar <manishsmail@gmail.com>
Thu, 5 Mar 2015 07:07:49 +0000 (12:37 +0530)
 When generating WF criteria, do not visit the same type more than once. Fixes an infinite stack overflow (#23003).

r? @aturon


Trivial merge