Skip to content

Improve non-exhaustiveness handling in usefulness checking#66330

Merged
bors merged 3 commits intorust-lang:masterfrom
Nadrieril:nonexhaustive-constructor
Nov 13, 2019
Merged

Improve non-exhaustiveness handling in usefulness checking#66330
bors merged 3 commits intorust-lang:masterfrom
Nadrieril:nonexhaustive-constructor

Commits

Commits on Nov 12, 2019