Skip to content

Implement the manual_non_exhaustive lint#5550

Merged
bors merged 3 commits intorust-lang:masterfrom
ebroto:manual_non_exhaustive
May 2, 2020

Commits

Commits on May 1, 2020