Method argument errors refer to method's class, not callee's
Ouverte
Personne n'a encore pris cette issue.
bug
topic-error-reporting
topic-newtype
topic-usability
- Langage dominant
- Python
- Étoiles
- 20.6k
- Forks
- 3.3k
- Métriques de merge des PR
- Métriques de PR en attente
Description
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
Guide de contribution
Ouvrir le guide de contribution
Par où commencer
- Lisez l'issue en entier, puis le guide de contribution du projet.
- Signalez en commentaire que vous la prenez — cela évite que deux personnes fassent le même travail.
- Forkez le dépôt et travaillez sur une branche.
- Ouvrez une pull request qui référence le numéro de l'issue.
Piste de recherche
Utilisez comme point de départ le reproducer mypy-play lié, avec l’exemple utilisant NewType, Self et d.foo(42). Suivez la génération du diagnostic pour l’argument incompatible et confirmez que le message complet identifie le type d’instance du callee plutôt que la classe de la méthode.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- python
- Domaine
- devtools
- Type d'issue
- Bug
- Difficulté
- 3/5
- Temps estimé
- 1-2 jours
- Activité
- À l'abandon
- Clarté
- Plutôt claire
- Accessibilité débutants
- 45/100