[ty] Narrow tuple expression match subjects - #25874

Merged

charliermarsh merged 9 commits into

mainfrom

charlie/fix-tuple-match-subject-narrowing

Jun 12, 2026

Commits on Jun 12, 2026

[ty] Target narrowing constraints at earlier bindings
charliermarsh
committed
de2d677
[ty] Narrow tuple expression match subjects
charliermarsh
committed
4e8a3d9
[ty] Project starred tuple match patterns
charliermarsh
committed
eba530e
[ty] Ignore impossible tuple match alternatives
charliermarsh
committed
369188d
[ty] Project nested sequence match subjects
charliermarsh
committed
18d4a8c
[ty] Simplify match pattern constraint merging
charliermarsh
committed
84073a1
[ty] Build projected constraints in the narrowing arena
charliermarsh
committed
8beeb84
[ty] Keep match subject constraints binding-specific
charliermarsh
committed
098f8e1
[ty] Organize match subject narrowing tests
charliermarsh
committed
76d9c6b