Handle empty matches cleanly in exhaustiveness checking#78995
Merged
bors merged 6 commits intorust-lang:masterfrom Nov 18, 2020
Merged
Handle empty matches cleanly in exhaustiveness checking#78995bors merged 6 commits intorust-lang:masterfrom
bors merged 6 commits intorust-lang:masterfrom
Commits
Commits on Nov 12, 2020
Commits on Nov 16, 2020
- andcommitted
- committed
