type not narrowed within function when it's `Final`
Offen
Dieses Issue hat noch niemand übernommen.
bug
topic-final
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
from typing import Final
foo: Final[int | None] = 1
if foo is not None:
def bar() -> None:
reveal_type(foo) # note: Revealed type is "Union[builtins.int, None]"
this is actually safe because the type is Final
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 damit, das bereitgestellte Beispiel im verlinkten mypy-play-Fall zu reproduzieren, und untersuche, wie die Eingrenzung über die Definition der verschachtelten Funktion hinweg behandelt wird. Das Issue ist abgeschlossen, wenn reveal_type(foo) innerhalb von bar nur int meldet und dabei das korrekte Verhalten für Werte ohne Final beibehält.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- python
- Bereich
- devtools
- Issue-Typ
- Bug
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Klar beschrieben
- Anfängerfreundlichkeit
- 35/100