misc instance check on `super` triggers despite second argument being Any
Ouverte
Personne n'a encore pris cette issue.
bug
- Langage dominant
- Python
- Étoiles
- 20.6k
- Forks
- 3.3k
- Métriques de merge des PR
- Métriques de PR en attente
Description
Bug Report
Error is not suppressed, since apparently Any isn't considered an instance of DynamicClass/MyClass.
To Reproduce
class MyClass:
...
DynamicClass: type[MyClass]
def foo(self: Any):
super(DynamicClass, self).foo()
Actual Behavior
error: Argument 2 for "super" not an instance of argument 1 [misc]
Your Environment
- Mypy version used: 1.0.0
- Python version used: 3.11.1
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
Commencez par exécuter la reproduction Python fournie avec mypy 1.0.0 et confirmez l’erreur [misc] pour super(DynamicClass, self). Suivez le chemin de vérification des types pour le deuxième argument de super et ajoutez un test de régression montrant que Any supprime cette vérification d’instance ; c’est terminé lorsque l’exemple ne signale plus l’erreur.
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