`assert_type` fails to fail for `NoReturn`
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
Bug Report
In a case that mypy deems impossible (i.e. type narrowed to NoReturn), it's currently impossible to cause assert_type to fail.
Similarly, reveal_type has no effect in the case of NoReturn.
To Reproduce
https://mypy-play.net/?mypy=latest&python=3.11&gist=10400960688da44ab22b58df6c297f50
Expected Behavior
Three assert_type failures.
Actual Behavior
Only one assert_type failure.
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 der verlinkten mypy-play-Reproduktion und vergleiche die drei erwarteten assert_type-Fehler mit dem einzigen tatsächlichen Fehler. Verfolge, wie assert_type und reveal_type einen auf NoReturn eingegrenzten Typ behandeln, und füge anschließend eine Regressionstestabdeckung für diesen Fall hinzu. Erledigt ist die Aufgabe, wenn alle drei Assertions wie erwartet fehlschlagen und das entsprechende reveal_type-Verhalten abgedeckt ist.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- python
- Bereich
- compilers
- Issue-Typ
- Bug
- Schwierigkeit
- 3/5
- Geschätzter Aufwand
- 1-2 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 38/100