Skip to content

[Experiment] Rewrite exhaustiveness in one pass#116042

Closed
Nadrieril wants to merge 6 commits into
rust-lang:masterfrom
Nadrieril:linear-pass-take-2
Closed

[Experiment] Rewrite exhaustiveness in one pass#116042
Nadrieril wants to merge 6 commits into
rust-lang:masterfrom
Nadrieril:linear-pass-take-2

Fully rework the algorithm and its explanation

d4f08e7
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs