unexpected "var-annotated" when using constrained TypeVar
Ouverte
Personne n'a encore pris cette issue.
bug
topic-type-variables
- Langage dominant
- Python
- Étoiles
- 20.6k
- Forks
- 3.3k
- Métriques de merge des PR
- Métriques de PR en attente
Description
Bug Report
I expect to not need to annotate the example below
To Reproduce
class C[T: (int, str)]:
def __init__(self, x: T) -> None:
self.x = x
Expected Behavior
no errors
Actual Behavior
$ ./venv/bin/mypy t.py
t.py:3: error: Need type annotation for "x" [var-annotated]
Your Environment
- Mypy version used: 1.17.1
- Mypy command-line flags: n/a
- Mypy configuration options from
mypy.ini(and other config files): n/a - Python version used: 3.13.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
Reproduisez le rapport avec l’exemple t.py fourni et la commande mypy en utilisant un TypeVar contraint. Suivez la manière dont l’affectation à self.x est inférée, puis vérifiez que l’exemple s’exécute jusqu’au bout sans erreur var-annotated.
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é
- Clairement spécifiée
- Accessibilité débutants
- 45/100