Can't call get on an empty dict
まだ誰も着手していません。
評価
調査の方向性
a.py スニペットと指定された Mypy および Python のバージョンを使って報告を再現する。空の辞書式がどのように推論され、dict.get のオーバーロードがどのように選択されるかを追跡する。完了の条件は、例でエラーが発生せず、回帰テストがあること。
索引モデルが issue の本文から書いたものです。
説明
Bug Report
Mypy complains when I try to call get on an empty dict.
To Reproduce
x = {}.get("x")
Expected Behavior
No error.
Actual Behavior
a.py:1: error: No overload variant of "get" of "dict" matches argument type "str" [call-overload]
a.py:1: note: Possible overload variants:
a.py:1: note: def get(self, Never, /) -> None
a.py:1: note: def get(self, Never, Never, /) -> Never
a.py:1: note: def [_T] get(self, Never, _T, /) -> _T
Found 1 error in 1 file (checked 1 source file)
Your Environment
- Mypy version used: 1.11.1
- Python version used: 3.12.4
- 主要言語
- Python
- スター
- 20.6k
- フォーク
- 3.3k
- 平均マージ
- 1日 18時間
- マージ済み PR（30日）
- 54
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
python/mypy のほかの issue
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
-
documentation
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
-
bug topic-configuration topic-error-reporting
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
似ている issue
-
area/auth bug comp/agent P3 platform/discord type/security
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100
NousResearch/hermes-agent#117848 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 74/100
bancolombia/sentinel#23 ·
-
test md オープンCI
難易度 2/5 1〜3時間 初心者へのやさしさ 74/100
-
integration:quickjs org:external priority:backlog topic:code-interpreter topic:middleware type:feature
難易度 2/5 1〜3時間 初心者へのやさしさ 74/100
langchain-ai/deepagents#6450 ·
-
bug client
難易度 2/5 1〜3時間 初心者へのやさしさ 88/100