Method argument errors refer to method's class, not callee's
Aperta
Nessuno ha ancora preso questa issue.
bug
topic-error-reporting
topic-newtype
topic-usability
- Lingua principale
- Python
- Stelle
- 20.6k
- Fork
- 3.3k
- Metriche di merge delle PR
- Metriche PR in attesa
Descrizione
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
Guida per i contributori
Apri la guida per i contributori
Come iniziare
- Leggi tutta la issue e poi la guida ai contributi del progetto.
- Commenta sulla issue per dire che te ne occupi tu — evita che due persone facciano lo stesso lavoro.
- Fai un fork del repository e lavora su un branch.
- Apri una pull request che faccia riferimento al numero della issue.
Direzione di ricerca
Usa come punto di partenza il reproducer mypy-play collegato con l'esempio che usa NewType, Self e d.foo(42). Segui la generazione della diagnostica per l'argomento incompatibile e conferma che il messaggio completo identifichi il tipo di istanza del callee anziché la classe del metodo.
Scritto dal modello di indicizzazione a partire dal testo della issue.
Valutazione
- Stack tecnologico
- python
- Ambito
- devtools
- Tipo di issue
- Bug
- Difficoltà
- 3/5
- Tempo stimato
- 1-2 giorni
- Stato di attività
- Ferma
- Chiarezza
- Abbastanza chiara
- Idoneità per principianti
- 45/100