Skip to content

avoid translating roots with predicates that do not hold#42797

Merged
bors merged 2 commits intorust-lang:masterfrom
arielb1:ex-falso-ice
Jun 29, 2017

Commits

Commits on Jun 21, 2017

Commits on Jun 28, 2017