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