Skip to content

Don't warn an empty pattern unreachable if we're not sure the data is valid#118308

Merged
bors merged 7 commits into
rust-lang:masterfrom
Nadrieril:sound-exhaustive-patterns-take-3
Dec 9, 2023
Merged

Don't warn an empty pattern unreachable if we're not sure the data is valid#118308
bors merged 7 commits into
rust-lang:masterfrom
Nadrieril:sound-exhaustive-patterns-take-3

Some types cannot show up as the type of a pattern

c3df51a
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs