`[type-abstract]` reports with a `tuple` when the actual type is a `dict`
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, To Reproduce, & Actual Behaviour
See mypy Playground
from abc import ABC, abstractmethod
class Abstract(ABC):
@abstractmethod
def method(self) -> None: ...
class Unimplemented(Abstract): ...
class Parent:
others: dict[str, type[Abstract]]
class Child(Parent):
others = {"abstract": Unimplemented} # E: Only concrete class can be given where "tuple[str, type[Abstract]]" is expected [type-abstract]
Expected Behavior
Reports the error message with "dict[str, type[Abstract]]".
Your Environment
- Mypy version used: 1.10
- Mypy command-line flags: None
- Mypy configuration options from
mypy.ini(and other config files): None - Python version used: 3.10, 3.12
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 la reproduction liée de mypy Playground sous Python 3.12 et en mode strict, puis suivez l’origine du diagnostic [type-abstract] et de son type inféré affiché. C’est terminé lorsque le même exemple signale dict[str, type[Abstract]] au lieu de tuple[str, type[Abstract]], avec le comportement vérifié pour les versions de Python indiquées.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- python
- Domaine
- compilers
- Type d'issue
- Bug
- Difficulté
- 3/5
- Temps estimé
- 1-2 jours
- Activité
- À l'abandon
- Clarté
- Clairement spécifiée
- Accessibilité débutants
- 48/100