TypeVar with constraints cannot specify overloads
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
TypeVar with constraints (e.g. TypeVar('NumberT', int, float)) cannot be used to specify an overload: that is, it can be used, but seems to go unchecked.
To Reproduce
https://mypy-play.net/?mypy=latest&python=3.10&gist=30f7918d00fbe9c4a86bfacea2d20da3
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 reproducer mypy-play lié et examinez le chemin de vérification des types pour l'utilisation de TypeVar avec contraintes dans les overloads. Déterminez pourquoi l'overload invalide est accepté, puis ajoutez un regression test couvrant le reproducer et vérifiez que l'overload est rejeté ou vérifié comme prévu.
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é
- 4/5
- Temps estimé
- 3-5 jours
- Activité
- À l'abandon
- Clarté
- Plutôt claire
- Accessibilité débutants
- 35/100