ruff
[ty] Fix structural pattern binding inference
#26411

Merged

[ty] Fix structural pattern binding inference #26411

charliermarsh merged 11 commits into main from charlie/match-pattern-binding-followups

astral-sh-bot added ty

charliermarsh force pushed from c6b372a2 to d7d77197 130 days ago

[ty] Preserve generic members in overlapping patterns

336fdc22

charliermarsh force pushed from d7d77197 to 5762cc59 130 days ago

[ty] Preserve generic base pattern specialization

9b391333

[ty] Split union-valued class patterns

4f9f2f60

[ty] Extract mapping entries from narrowed subjects

fa94140c

[ty] Preserve direct generic pattern members

86bb1569

[ty] Avoid stale sequence facts in OR bindings

dd81a3a0

[ty] Preserve default generic overlap members

dc572a95

[ty] Preserve compatible overlapping class members

df8aa85c

[ty] Ignore generic defaults in class patterns

abff86de

[ty] Simplify generic pattern member lookup

dc493402

[ty] Clarify match pattern binding analysis

8335c7e4

charliermarsh force pushed from 5762cc59 to 8335c7e4 130 days ago

charliermarsh requested a review from

dhruvmanila 130 days ago

charliermarsh marked this pull request as ready for review 130 days ago

charliermarsh requested a review 130 days ago

charliermarsh merged a582555c into main 130 days ago

charliermarsh deleted the charlie/match-pattern-binding-followups branch 130 days ago

dhruvmanila commented on 2026-07-07

Reviewers

dhruvmanila

Assignees

No one assigned

Labels

Milestone

No milestone