Fix incorrect pattern warning "unreachable pattern"#70413
Merged
bors merged 2 commits intorust-lang:masterfrom Mar 27, 2020
Merged
Fix incorrect pattern warning "unreachable pattern"#70413bors merged 2 commits intorust-lang:masterfrom
bors merged 2 commits intorust-lang:masterfrom