[ty] Support narrowing on lengths #25347
charliermarsh
merged
13 commits into
main
from
charlie/tuple-match
Base automatically changed from
charlie/non-never
to
main
21 days ago
charliermarsh
commented
on 2026-05-30
charliermarsh
changed the title
First pass
4cf3e7d8
Avoid applying to mutable types
01c77912
Support literals
2fb400b7
Pare back
c45f89e4
Add regression tests for stale len constraints
e9b6f810
Avoid persisting len constraints for mutable types
33c6e4ff
Fold len regression tests into narrowing examples
71205632
Use two-element union constructor for len narrowing
814ecbce
Clarify symmetric len comparison narrowing
06e0ff96
Allow exact length narrowing for mutable values
f971eccd
Defer tuple length intersection simplification
f19c1f0e
Simplify exact length narrowing
d4c3c46f
Clean up exact length narrowing
0af8378b
AlexWaygood
approved these changes
on 2026-06-03
Reviewers
Assignees
Labels
ty
Milestone
No milestone
Login to write a write a comment.
Login via GitHub