[ty] Add support for narrowing on tuple match cases #25493
charliermarsh
merged
15 commits into
main
from
charlie/pattern-match
charliermarsh
changed the title 
Base automatically changed from
charlie/tuple-match
to
main
25 days ago
charliermarsh
changed the base branch from
main
to
charlie/cache-pattern-match-narrowing
25 days ago
Base automatically changed from
charlie/cache-pattern-match-narrowing
to
main
25 days ago
AlexWaygood
commented
on 2026-06-04
[ty] Narrow exact sequence patterns
f47d2cff
[ty] Unify definite sequence pattern analysis
7785d747
[ty] Move match pattern types out of reachability
49a2f859
Add star support; clean up tests
03c1144f
Add more tests
5502a521
Review feedback
8ee062a1
Review feedback
99307da0
[ty] Avoid collecting sequence pattern types
09876b61
[ty] Store sequence pattern predicates in a boxed slice
0e340418
[ty] Make exact sequence length checks const
e35ede45
[ty] Build sequence pattern predicates in one pass
eabd9296
[ty] Name star pattern predicates explicitly
8aa39640
[ty] Test exact sequence exclusions for text and bytes
e7ccd79f
[ty] Explain necessary pattern types with an example
210840de
Rewrite by human hand
6bc59f91
Reviewers
Assignees
Labels
ty
Milestone
No milestone
Login to write a write a comment.
Login via GitHub