Skip to content

Improve diagnostics and code for exhaustiveness of empty matches#67026

Merged
bors merged 21 commits intorust-lang:masterfrom
Nadrieril:improve-usefulness-empty
Dec 13, 2019
Merged

Improve diagnostics and code for exhaustiveness of empty matches#67026
bors merged 21 commits intorust-lang:masterfrom
Nadrieril:improve-usefulness-empty

Commits

Commits on Dec 4, 2019

Commits on Dec 11, 2019