[Experiment] Rewrite exhaustiveness in one pass#116042

Closed

Nadrieril wants to merge 6 commits intorust-lang:masterfrom Nadrieril:linear-pass-take-2

+1,155-956

Commits on Nov 4, 2023

Add some tests
Nadrieril
committed