Method argument errors refer to method's class, not callee's
Offen
Dieses Issue hat noch niemand übernommen.
bug
topic-error-reporting
topic-newtype
topic-usability
- Vorherrschende Sprache
- Python
- Sterne
- 20.6k
- Forks
- 3.3k
- PR-Merge-Kennzahlen
- PR-Kennzahlen ausstehend
Beschreibung
from typing import NewType
from typing_extensions import Self
class C:
def foo(self: Self, other: Self) -> int: raise NotImplementedError
D = NewType('D', C)
d = D(C())
d.foo(42) # E: Argument 1 to "foo" of "C" has incompatible type "int"; expected "D"
This is pretty minor, but "foo" of "C" here feels misleading. Would it be clearer to name the instance's type?
Playground: https://mypy-play.net/?mypy=latest&python=3.11&gist=9b6fe04dddab8ed91a41c819bff3854a
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
Verwende den verknüpften mypy-play-Reproducer mit dem Beispiel NewType, Self und d.foo(42) als Ausgangspunkt. Verfolge die Erzeugung der Diagnose für das inkompatible Argument und bestätige, dass die vollständige Meldung den Instanztyp des Callees und nicht die Klasse der Methode angibt.
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
- Größtenteils klar
- Anfängerfreundlichkeit
- 45/100