Can't convert from Tuple of optional to Tuple of non-optional
Offen
Dieses Issue hat noch niemand übernommen.
false-positive
feature
priority-2-low
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
Code:
from typing import Tuple, Optional
a: Tuple[Optional[int], Optional[int]] = (1, 1)
b: Tuple[int, int]
if a[0] is not None and a[1] is not None:
b = a
After that has error:
script.py:6: error: Incompatible types in assignment (expression has type "Tuple[Optional[int], Optional[int]]", variable has type "Tuple[int, int]")
Expected no error.
I have: mypy-0.770 and Python 3.7.7
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
Reproduziere den gemeldeten Fehler aus script.py mit mypy unter Verwendung der gezeigten Tuple- und Optional-Annotationen. Untersuche, wie mypy Tupelelemente nach den beiden None-Prüfungen eingrenzt, und betrachte die Arbeit als abgeschlossen, wenn die Zuweisung an b ohne einen incompatible-types-Fehler akzeptiert wird.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- python
- Bereich
- tooling
- Issue-Typ
- Bug
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 35/100