python / python/mypy

`NoReturn` on `__new__` and `__init__` disables accessing `@classmethod`s and `ClassVar`s directly from the class

Offen
#14,044 5 Kommentare 2 Reaktionen 0 zugewiesene Personen Auf GitHub ansehen

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

Beitragsleitfaden öffnen

Erste Schritte

  1. Lies das ganze Issue und danach den Beitragsleitfaden des Projekts.
  2. Schreib ins Issue, dass du es übernimmst — das erspart doppelte Arbeit.
  3. Forke das Repository und arbeite in einem Branch.
  4. Ö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

Neue Issues direkt in Ihr Postfach

Eine kurze Übersicht über anfängerfreundliche GitHub-Issues.