ruff
[ty] Fix dict.pop overloads to accept arbitrary keys with defaults
#26241

Merged

[ty] Fix dict.pop overloads to accept arbitrary keys with defaults #26241

carljm merged 1 commit into main from cjm/3819-fix-dictpop-overload-false

Relax dict.pop key typing in typeshed

c1bd25b7

astral-sh-bot added ty

astral-sh-bot changed the title ~~Fix dict.pop overloads to accept arbitrary keys with defaults~~ [ty] Fix dict.pop overloads to accept arbitrary keys with defaults 44 days ago

charliermarsh approved these changes on 2026-06-22

carljm marked this pull request as ready for review 44 days ago

carljm requested a review 44 days ago

astral-sh-bot requested a review from

dhruvmanila 44 days ago

carljm merged 1b011de4 into main 44 days ago

carljm deleted the cjm/3819-fix-dictpop-overload-false branch 44 days ago

Reviewers

charliermarsh

dhruvmanila

Assignees

No one assigned

Labels

Milestone

No milestone

ruff [ty] Fix dict.pop overloads to accept arbitrary keys with defaults #26241 Merged

[ty] Fix dict.pop overloads to accept arbitrary keys with defaults #26241

ruff
[ty] Fix dict.pop overloads to accept arbitrary keys with defaults
#26241

Merged