Can't call get on an empty dict
Offen
Dieses Issue hat noch niemand übernommen.
bug
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
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
Beitragsleitfaden
Erste Schritte
- Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
- Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
- Forke das Repository und arbeite in einem Branch.
- Öffne einen Pull Request, der die Issue-Nummer nennt.
Rechercherichtung
Den Bericht mit dem a.py-Snippet und den angegebenen Mypy- und Python-Versionen reproduzieren. Nachverfolgen, wie der Ausdruck des leeren Wörterbuchs inferiert wird und wie die Overloads von dict.get ausgewählt werden; abgeschlossen ist die Aufgabe, wenn das Beispiel keinen Fehler erzeugt und einen Regressionstest hat.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- python
- Bereich
- compilers
- Issue-Typ
- Bug
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 43/100