Incorrect send type with `yield from`
Offen
Dieses Issue hat noch niemand übernommen.
bug
topic-runtime-semantics
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
Bug Report
Generators do not respect the send type when using yield from.
To Reproduce
def foo() -> Generator[None, int, None]:
x: int = yield
def bar() -> Generator[None, str, None]:
yield from foo()
Expected Behavior
Should error on yield from foo().
Actual Behavior
Does not error and allows gen = bar(); gen.send("abc"), which results in x: int = "abc".
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, die Python-Reproduktion im Issue auszuführen, und verfolge, wie mypy die Send-Typen von Generatoren über yield from prüft. Füge einen Regressionstest hinzu, der foo() und bar() abdeckt, und bestätige, dass mypy bei yield from foo() einen Fehler meldet, anstatt zuzulassen, dass ein String an den Generator mit Integer-Typ gesendet wird.
Vom Indexierungsmodell aus dem Issue-Text verfasst.
Bewertung
- Tech-Stack
- python
- Bereich
- devtools
- Issue-Typ
- Bug
- Schwierigkeit
- 3/5
- Geschätzter Aufwand
- 1-2 Tage
- Aktivitätsstatus
- Veraltet
- Klarheit
- Klar beschrieben
- Anfängerfreundlichkeit
- 35/100