iter(...) is not revealed the same as __iter__ method
Dieses Issue hat noch niemand übernommen.
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
Bug Report
We are having issues with the pandas-stubs repo where the inference for __iter__ is different with iter(...).
With __iter__ we are seeing the right inference while with iter(...)
To Reproduce
from typing import Any, Generic, Never, TypeVar, reveal_type
_T_EXPANDING = TypeVar("_T_EXPANDING")
_T_STR = TypeVar("_T_STR", bound=Series)
class StringMethods(Generic[_T_EXPANDING, _T_STR]):
def __getitem__(self, key: int) -> _T_STR: ...
def __iter__(self) -> Never: ...
class Series:
@property
def str(self) -> StringMethods[Any, Series]: ...
def _0() -> None:
reveal_type(StringMethods().__iter__()) # all 4 type checkers give Never
def _1() -> None:
reveal_type(iter(Series().str)) # mypy: Any, pyright, pyrefly: Never, ty: Unknown
Expected Behavior
It is identifying it as Any.
Actual Behavior
We expect Never.
Your Environment
- Mypy version used: mypy 1.19.1 (compiled: yes)
- Mypy command-line flags: mypy test_file.py
- Mypy configuration options from
mypy.ini(and other config files): None - Python version used: 3.14
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 den bereitgestellten Python-Reproducer mit mypy 1.19.1 aus und vergleiche reveal_type(StringMethods().iter()) mit reveal_type(iter(Series().str)). Verfolge die Behandlung des iter(...)-Ausdrucks im Verhältnis zur iter-Methode; die Aufgabe ist abgeschlossen, wenn mypy für den iter(...)-Fall Never meldet, ohne das erwartete Verhalten an anderer Stelle zu ändern.
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
- Klar beschrieben
- Anfängerfreundlichkeit
- 48/100