Refactor slice pattern usefulness checking - #66129

Merged

bors merged 18 commits into

rust-lang:masterfrom

Nadrieril:refactor-slice-pat-usefulness

Nov 12, 2019

Commits on Nov 5, 2019

Add some slice-pattern exhaustiveness tests
Nadrieril
committed
4dc5697
Rename Constructor::Slice to FixedLenSlice
Nadrieril
committed
235b379
Match on self first in subtract_constructor
Nadrieril
committed
d2b7711
Add special variable-length slice constructor
Nadrieril
committed
e092a17
Simpler code path for subtracting from FixedLenSlice
Nadrieril
committed
909ec37
Don't use max_slice_length when subtracting from VarLenSlice
Nadrieril
committed
b669730
Make exhaustiveness error message more consistent for slice patterns
Nadrieril
committed
65bc67e
Add some test cases
Nadrieril
committed
58de9d9
Store both prefix and suffix length in VarLenSlice
Nadrieril
committed
d7044f2
pat_constructors returns at most one constructor
Nadrieril
committed
149792b
Inline max_slice_length
Nadrieril
committed
d582ed5
Use VarLenSlice consistently when splitting constructors
Nadrieril
committed
f774eb6
Move a few more tests to the usefulness/ folder
Nadrieril
committed
9531787

Commits on Nov 6, 2019

Apply suggestions from code review

Nadrieril
and
Centril
committed
816aee2
Factor out constructing a new wildcard pattern
Nadrieril
committed
7514c48
Split slice-patterns test as suggested by Centril
Nadrieril
committed
098974d

Commits on Nov 10, 2019

Inline constructor_sub_pattern_tys
Nadrieril
committed
369a351
tidy
Nadrieril
committed
fd9921b