Add an intermediate representation to exhaustiveness checking - #88950

Merged

bors merged 13 commits into

rust-lang:masterfrom

Nadrieril:deconstruct-pat

Sep 29, 2021

Commits on Sep 22, 2021

Add tests
Nadrieril
committed
bf1848d

Commits on Sep 25, 2021

Remove premature shortcutting
Nadrieril
committed
2e78c6b
Remove some unreachable code
Nadrieril
committed
2bf6e78
Always report reachability for user-supplied patterns
Nadrieril
committed
003bbcb
Cleanup the reporting of unreachable patterns
Nadrieril
committed
ff90c63
A for loop is a lot faster apparently
Nadrieril
committed
87a0a25
Rework `Fields` internals.
Nadrieril
committed
3175409
Use usize for slice arity
Nadrieril
committed
035c521
Move special `&str` handling to `Constructor` and `Fields`
Nadrieril
committed
5853399
Remove dependency of `SubPatSet` on `Pat`
Nadrieril
committed
fde45e9
Replace `Pat` with a new intermediate representation
Nadrieril
committed
71abc95
Avoid double-deref in `Fields`
Nadrieril
committed
b6062bd
Trivialize tracking of unreachable subpatterns
Nadrieril
committed
b7e358e