Clean up some diagnostics by making them more consistent#68096
Merged
bors merged 6 commits intorust-lang:masterfrom Jan 16, 2020
Merged
Clean up some diagnostics by making them more consistent#68096bors merged 6 commits intorust-lang:masterfrom
bors merged 6 commits intorust-lang:masterfrom
Commits
Commits on Jan 12, 2020
- committed
- committed
- committed
- committed
- committed
- committed
