mypy cannot decide if a cast is necessary or redundant
Personne n'a encore pris cette issue.
- Langage dominant
- Python
- Étoiles
- 20.6k
- Forks
- 3.3k
- Métriques de merge des PR
- Métriques de PR en attente
Description
Bug Report
Here a case where mypy says a cast is redundant, but if you remove the cast, mypy cannot infer the right type.
To Reproduce
Expected Behavior
Either no error with the cast or no error without the cast.
Actual Behavior
Using a type cast, mypy says it's not needed.
Without the type cast, mypy cannot infer the type.
Your Environment
- Mypy version used: 2.10
- Mypy configuration options from
mypy.ini(and other config files): warn_redundant_casts = true - Python version used: 3.14
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 le Gist lié et la reproduction dans mypy-playground avec warn_redundant_casts activé, puis suivez la façon dont mypy vérifie le cast et infère l’expression sans celui-ci. Confirmez le comportement avec les versions de Python et de mypy indiquées. Le travail est terminé lorsque l’exemple ne produit aucune erreur avec le cast ni sans celui-ci.
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é
- Calme
- Clarté
- Plutôt claire
- Accessibilité débutants
- 58/100