[ty] typecheck dict methods for `TypedDict` #19874
feat: overloads for `TypedDict.get()`
463970d3
feat: add `pop()` and `setdefault()`
cc4e3e01
feat: add clean error for `.pop()` on required field
39026674
sharkdp
force pushed
from
771f1d13
to
39026674
146 days ago
sharkdp
requested changes
on 2025-08-25
Merge remote-tracking branch 'origin/main' into ty-typeddict-methods
25393292
Remove comment about rule
84d2a211
Synthesize generic .get and .pop methods
476cc3ec
sharkdp
force pushed
from
4626add8
to
476cc3ec
142 days ago
Fallback overloads for .get
f3fc071e
feedback
59dbf5bf
Merge remote-tracking branch 'origin/main' into ty-typeddict-methods
0e493b98
sharkdp
approved these changes
on 2025-08-29
get(): More precise return type for unknown keys without default
4208fb49
sharkdp
merged
5a608f73
into main 142 days ago
Assignees
No one assigned
Labels
ty
ecosystem-analyzer
Login to write a write a comment.
Login via GitHub