Wrong type inference with "yield from" from an Iterator class
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
Bug Report
When using "yield from" for an iterable instance the type inference if wrong. Normal for-loop iteration over the same iterable does work though.
To Reproduce
from typing import Iterator, Self
class goes_to_11(Iterator[int]):
def __init__(self):
self.elevens = iter((11,))
def __next__(self) -> int:
return next(self.elevens)
def __iter__(self) -> Self:
return self
def bunch_of_11() -> Iterator[tuple[int, ...]]:
yield from goes_to_11()
for integer in goes_to_11():
yield integer
for value in bunch_of_11():
print(type(value), value)
Expected Behavior
Mypy should complain about both the "yield from" line and the "yield integer" line, but for the former it doesn't.
Actual Behavior
mypy --strict buggy.py
buggy.py:19: error: Incompatible types in "yield" (actual type "int", expected type "tuple[int, ...]") [misc]
Found 1 error in 1 file (checked 1 source file)
Your Environment
Tested on Linux Python 3.12.3 using mypy wheel mypy-1.11.0+dev.b88fdbd32fe0a45d40531a6504317aa3fd48489e-cp312-cp312-manylinux_2_17_x86_64.manylinux2014_x86_64.whl
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
Führe zunächst die bereitgestellte buggy.py-Reproduktion mit mypy --strict aus und vergleiche die yield from-Zeile mit der folgenden for-Schleife. Verfolge die Typinferenz für die Iterator[int]-Instanz; abgeschlossen ist die Aufgabe, wenn mypy für beide Pfade denselben Fehler wegen inkompatibler Yield-Typen meldet.
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
- Klar beschrieben
- Anfängerfreundlichkeit
- 42/100