Code after `yield from` a generator that cannot end should be unreachable
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
Bug Report
Split off from https://github.com/python/mypy/issues/7374#issuecomment-944883194
To Reproduce
from typing import Generator, NoReturn, Union
def inf() -> Generator[str, None, NoReturn]:
while True:
yield "xyz"
def generate(x: Union[str, int]) -> Generator[str, None, int]:
if isinstance(x, str):
yield from inf() # `yield from` will never return, because the generator never returns
return x # error: Incompatible return value type (got "Union[str, int]", expected "int")
Expected Behavior
No error
Actual Behavior
An error.
Your Environment
Reproduced in mypy-play.
- Mypy version used: 1.16.1
- Mypy command-line flags: N/A
- Mypy configuration options from
mypy.ini(and other config files): N/A - Python version used: 3.12
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 das Beispiel in mypy-play mit der gemeldeten mypy 1.16.1-Umgebung und konzentriere dich auf die Kontrollflussbehandlung nach yield from eines NoReturn-Generators. Verfolge die relevanten Einstiegspunkte für die Analyse von Generatoren und Rückgabetypen; abgeschlossen ist die Aufgabe, wenn das Beispiel keinen Fehler wegen eines inkompatiblen Rückgabewerts erzeugt, während die übrige Rückgabewertprüfung intakt bleibt.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- python
- Bereich
- compilers
- Issue-Typ
- Bug
- Schwierigkeit
- 4/5
- Geschätzter Aufwand
- 3-5 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Größtenteils klar
- Anfängerfreundlichkeit
- 35/100