Fixes #79357 unstable or-pat suggestions#79364

Merged

bors merged 1 commit intorust-lang:masterfrom nico-abram:unstable-or-pat-suggestion

Dec 2, 2020

+25-41

Commits on Nov 29, 2020

Fixes rust-lang#79357 unstable or-pat suggestions
nico-abram
committed