Type annotation "List"[int] generates runtime error but is accepted by mypy
Offen
Dieses Issue hat noch niemand übernommen.
feature
priority-2-low
topic-quoted-annotations
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
This bug was just logged against pyright (and fixed): https://github.com/microsoft/pyright/issues/1393
I noticed that mypy also fails to report this error.
from typing import List
foo: "List"[int] = [1] # Accepted by mypy but generates runtime error
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
Beginne mit dem mitgelieferten Python-Reproduktionsbeispiel und vergleiche das Ergebnis von mypy mit dem verknüpften pyright-Issue. Verfolge, wie mypy eine in Anführungszeichen gesetzte "List"-Annotation verarbeitet, auf die eine Subskription folgt, und füge anschließend einen Regressionstest hinzu, der zeigt, dass die ungültige Annotation gemeldet statt akzeptiert wird. Erledigt ist es, wenn der Test besteht und mypy dieses Beispiel nicht mehr stillschweigend akzeptiert.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- python
- Bereich
- tooling
- Issue-Typ
- Bug
- Schwierigkeit
- 3/5
- Geschätzter Aufwand
- 1-2 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 35/100