Make type refinement to work with `None in [a, b, c]`
Offen
Dieses Issue hat noch niemand übernommen.
feature
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
Following the bug report, when checking if multiple variables are not None using the syntax None in <some_collection> mypy should be able to refine the types of these variables to non-Optional types after this check.
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 Lesen des verknüpften Fehlerberichts (mypy#17149) und verfolge das bestehende Verhalten der Typverfeinerung bei Membership-Prüfungen. Als erledigt gilt die Aufgabe, wenn mypy die relevanten Variablen nach einer Prüfung auf None in <some_collection> von Optional-Typen auf Nicht-Optional-Typen eingrenzt und die gemeldete Syntax abgedeckt ist.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- python
- Bereich
- compilers
- Issue-Typ
- Feature
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 35/100