python / python/mypy

Add lint against empty Union

Offen
#9,998 2 Kommentare 0 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

Dieses Issue hat noch niemand übernommen.

feature priority-2-low
Vorherrschende Sprache
Python
Sterne
20.6k
Forks
3.3k
PR-Merge-Kennzahlen
PR-Kennzahlen ausstehend

Beschreibung

Bug Report

From the documentation it indicates that Union must contain at least one item, however this doesn't seem to be implemented in mypy (and in fact, mypy seems to treat an empty union as NoReturn) -- the treating it as NoReturn is actually kinda cool, but probably not what was intended (?)

my twitch chat is telling me that pyright also considers Union[()] as NoReturn, maybe this just needs cpython documentation

To Reproduce

from typing import Union

def f() -> Union:
    print('hello hello')

def g() -> Union[()]:
    print('hello hello')
$ mypy --version
mypy 0.800
$ mypy t.py
t.py:3: error: Implicit return in function which does not return
t.py:6: error: Implicit return in function which does not return
Found 2 errors in 1 file (checked 1 source file)

Beitragsleitfaden

Beitragsleitfaden öffnen

Erste Schritte

  1. Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
  2. Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
  3. Forke das Repository und arbeite in einem Branch.
  4. Öffne einen Pull Request, der die Issue-Nummer nennt.

Rechercherichtung

Beginne mit dem Union- und Union[()]-Reproducer im Issue und untersuche, wie mypy die impliziten Rückgaben meldet; es ist keine Quelldatei und kein Test angegeben. Ermittle zunächst, ob die beabsichtigte Korrektur eine mypy-Diagnose oder eine Änderung der CPython-Dokumentation ist, und überprüfe anschließend, dass das gewählte Ergebnis eine leere Union vom aktuellen NoReturn-Verhalten unterscheidet.

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
Muss geklärt werden
Anfängerfreundlichkeit
35/100

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.