[ty] Fix structural pattern binding inference - #26411

Merged

charliermarsh merged 11 commits into

mainfrom

charlie/match-pattern-binding-followups

Jun 26, 2026

Commits on Jun 26, 2026

[ty] Preserve generic members in overlapping patterns
charliermarsh
committed
336fdc2
[ty] Preserve generic base pattern specialization
charliermarsh
committed
9b39133
[ty] Split union-valued class patterns
charliermarsh
committed
4f9f2f6
[ty] Extract mapping entries from narrowed subjects
charliermarsh
committed
fa94140
[ty] Preserve direct generic pattern members
charliermarsh
committed
86bb156
[ty] Avoid stale sequence facts in OR bindings
charliermarsh
committed
dd81a3a
[ty] Preserve default generic overlap members
charliermarsh
committed
dc572a9
[ty] Preserve compatible overlapping class members
charliermarsh
committed
df8aa85
[ty] Ignore generic defaults in class patterns
charliermarsh
committed
abff86d
[ty] Simplify generic pattern member lookup
charliermarsh
committed
dc49340
[ty] Clarify match pattern binding analysis
charliermarsh
committed
8335c7e