ruff
[ty] Prove TypedDict structural patterns exhaustive
#26285

Merged

[ty] Prove TypedDict structural patterns exhaustive #26285

charliermarsh merged 6 commits into main from charlie/typed-dict-pattern-exhaustiveness

astral-sh-bot added ty

charliermarsh requested a review from

dhruvmanila 2 days ago

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

charliermarsh requested a review 2 days ago

charliermarsh force pushed from bb214c47 to d86cf119 2 days ago

charliermarsh force pushed from d86cf119 to acc90247 2 days ago

charliermarsh force pushed from acc90247 to e8cc088a 2 days ago

charliermarsh force pushed from e8cc088a to 2316ebbc 2 days ago

charliermarsh force pushed from 2316ebbc to cfbac083 1 day ago

dhruvmanila approved these changes on 2026-06-25

Base automatically changed from charlie/positional-class-pattern-exhaustiveness to main 14 hours ago

[ty] Prove TypedDict structural patterns exhaustive

be764c6f

[ty] Clarify TypedDict pattern mdtests

5e75a480

[ty] Simplify mapping-pattern narrowing

feed4cbd

charliermarsh force pushed from cfbac083 to feed4cbd 14 hours ago

[ty] Handle wrapped TypedDict pattern subjects

5b163741

[ty] Keep universal class patterns context-free

0138cef8

[ty] Analyze wrapped TypedDict mapping patterns

3e9d92e0

charliermarsh merged e700ea35 into main 11 hours ago

charliermarsh deleted the charlie/typed-dict-pattern-exhaustiveness branch 11 hours ago

Reviewers

dhruvmanila

Assignees

No one assigned

Labels

Milestone

No milestone