avoid translating roots with predicates that do not hold#42797
Merged
bors merged 2 commits intorust-lang:masterfrom Jun 29, 2017
Merged
avoid translating roots with predicates that do not hold#42797bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom
Commits
Commits on Jun 21, 2017
Commits on Jun 28, 2017
- committed