Skip to content

Improve and fix diagnostics of exhaustiveness checking#80104

Merged
bors merged 7 commits intorust-lang:masterfrom
Nadrieril:usefulness-merging
Dec 19, 2020

Commits

Commits on Dec 18, 2020