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

Commits on Dec 8, 2023

Test empty types better
Nadrieril
committed
4e376cc
Be precise about usefulness vs reachability
Nadrieril
committed
9aafc0b
Correctly handle empty constructors
Nadrieril
committed
2186f98
Detect cycles in `InhabitedPredicate::apply`
Nadrieril
committed
1978168
Track place validity
Nadrieril
committed
f5dbb54
Don't warn an empty pattern unreachable if we're not sure the data is valid
Nadrieril
committed
ddef5b6

Commits on Dec 9, 2023

Some types cannot show up as the type of a pattern
Nadrieril
committed
c3df51a