Skip to content

Do not report errors from regionck if other errors were already reported#32164

Merged
bors merged 2 commits intorust-lang:masterfrom
nikomatsakis:fewer-errors
Mar 13, 2016
Merged

Do not report errors from regionck if other errors were already reported#32164
bors merged 2 commits intorust-lang:masterfrom
nikomatsakis:fewer-errors

Commits

Commits on Mar 9, 2016

Commits on Mar 10, 2016