`NoReturn` on `__new__` and `__init__` disables accessing `@classmethod`s and `ClassVar`s directly from the class
Offen
Dieses Issue hat noch niemand übernommen.
bug
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
Bug Report
Annotating __new__(...) -> typing.NoReturn or __init__(...) -> typing.NoReturn causes false positives when accessing @classmethods and typing.ClassVar-annotated attributes.
To Reproduce
from typing import NoReturn, Any, ClassVar
class A:
attr: ClassVar[str] = ""
def __init__(cls, *args: Any, **kwargs: Any) -> NoReturn:
raise RuntimeError
@classmethod
def f(cls) -> None:
pass
class B:
attr: ClassVar[str] = ""
@classmethod
def f(cls) -> None:
pass
Expected Behavior
No issues on any of the following:
A.f()
A.attr
B.f()
B.attr
Actual Behavior
A.f() # mypy: "Callable[[VarArg(Any), KwArg(Any)], NoReturn]" has no attribute "f" [attr-defined]
A.attr # mypy: "Callable[[VarArg(Any), KwArg(Any)], NoReturn]" has no attribute "attr" [attr-defined]
B.f()
B.attr
Your Environment
- Mypy version used: 0.990 and master branch of https://mypy-play.net/
- Mypy command-line flags: None
- Mypy configuration options from
mypy.ini(and other config files): None - Python version used: 3.10
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 mit dem bereitgestellten Python-Reproducer und verfolge, wie mypy Klassen repräsentiert, deren new oder init NoReturn zurückgibt. Füge Regressionstests für den Zugriff auf classmethod und ClassVar hinzu und stelle sicher, dass A.f(), A.attr, B.f() und B.attr keine Probleme verursachen.
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
- Größtenteils klar
- Anfängerfreundlichkeit
- 42/100