Add note to non-exhaustive match on reference to empty#80651
Merged
bors merged 3 commits intorust-lang:masterfrom GroteGnoom:issue-78123-fixJan 4, 2021
+34
Commits
Commits on Jan 3, 2021
- committedDaniel Noom
- committedDaniel Noom
- committedDaniel Noom