--warn-redundant-cast doesn’t warn for simple generic types
Personne n'a encore pris cette issue.
Évaluation
- Difficulté
- 3/5
- Temps estimé
- 1-2 jours
- Accessibilité débutants
- 52/100
Piste de recherche
Commencez par le reproducteur mypy-play lié et exécutez-le avec --warn-redundant-casts pour confirmer l’absence d’avertissement pour cast(list[int], identity(xs)). Suivez la vérification des casts redondants pour les types de liste génériques, puis ajoutez un test de régression montrant que ce cast est signalé, tandis que le type reveal existant reste valide.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Description
Bug Report
See reproducer
To Reproduce
from typing import TypeVar, cast
T = TypeVar("T")
def identity(xs: list[T]) -> list[T]:
return xs
def f(xs: list[int]) -> list[int]:
reveal_type(identity(xs))
return cast(list[int], identity(xs)) # --warn-redundant-casts should trigger here
Expected Behavior
warns that the cast is redundant
Actual Behavior
doesn’t warn
Your Environment
- Mypy version used: 2.3.0
- Mypy command-line flags:
--warn-redundant-casts - Mypy configuration options from
mypy.ini(and other config files):warn-redundant-casts = true - Python version used: any
- Langage dominant
- Python
- Étoiles
- 20.6k
- Forks
- 3.3k
- Merge moyen
- 1 j 12 h
- PR mergées (30 j)
- 58
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.
Autres issues de python/mypy
-
bug
Difficulté 2/5 1-3 heures Accessibilité débutants 78/100
-
bug
Difficulté 2/5 1-3 heures Accessibilité débutants 76/100
-
documentation
Difficulté 2/5 1-3 heures Accessibilité débutants 72/100
-
bug topic-configuration topic-error-reporting
Difficulté 2/5 1-3 heures Accessibilité débutants 68/100
-
bug topic-attrs
Difficulté 2/5 1-3 heures Accessibilité débutants 62/100
Toutes les issues de python/mypy
Issues similaires
-
Difficulté 2/5 1-3 heures Accessibilité débutants 75/100
anthropics/skills#1811 · 1 commentaire ·
-
Difficulté 2/5 1-3 heures Accessibilité débutants 75/100
speaches-ai/speaches#678 ·
-
bug
Difficulté 2/5 1-3 heures Accessibilité débutants 75/100
datalayer/mcp-compose#42 ·
-
Difficulté 2/5 1-3 heures Accessibilité débutants 75/100
conda-forge/spacy-feedstock#177 ·
-
Difficulté 2/5 1-3 heures Accessibilité débutants 70/100
UKGovernmentBEIS/inspect_evals#2523 ·