PR #22104 [ty] narrow tagged unions of `TypedDict`

[ty] narrow tagged unions of `TypedDict` #22104

oconnor663 merged 10 commits into main from typeddict_union_narrowing

oconnor663 requested a review from

carljm 14 days ago

oconnor663 requested a review from

AlexWaygood 14 days ago

oconnor663 requested a review from

sharkdp 14 days ago

oconnor663 requested a review from

dcreager 14 days ago

oconnor663 added ty

oconnor663 added ecosystem-analyzer

oconnor663 commented on 2025-12-20

AlexWaygood commented on 2025-12-20

oconnor663 force pushed from f1d30f58 to ae2d96f0 11 days ago

oconnor663 commented on 2025-12-23

AlexWaygood closed this 11 days ago

AlexWaygood reopened this 11 days ago

[ty] narrow tagged unions of `TypedDict`

b31d29bc

oconnor663 force pushed from 04ee4dcb to b31d29bc 10 days ago

AlexWaygood commented on 2025-12-23

AlexWaygood approved these changes on 2025-12-23

negate_if

33783d05

Alex's constrain_with_equality one-liner

0dcc0640

another negate

3f212333

Type::is_typed_dict

78033278

add support for BytesLiteral

404dfd15

is_none_or

bdf958a5

from_iter

933123c9

`not in` narrowing TODO

e326492b

comment formatting

05184f33

oconnor663 enabled auto-merge (squash) 10 days ago

oconnor663 merged e245c1d7 into main 10 days ago

oconnor663 deleted the typeddict_union_narrowing branch 10 days ago

Reviewers

AlexWaygood

carljm

sharkdp

dcreager

Assignees

No one assigned

Labels

ty ecosystem-analyzer

Milestone

No milestone

ruff [ty] narrow tagged unions of `TypedDict` #22104 Merged

[ty] narrow tagged unions of `TypedDict` #22104

ruff
[ty] narrow tagged unions of `TypedDict`
#22104

Merged