Implement an analog of map_instance_to_supertype() for protocol supertypes
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
In certain situation (like e.g. when dealing with *args) we want to know what are the type arguments of a generic protocol that a given type implements. Currently this is done in ad-hoc way in few places, but it would be great to have a dedicated helper.
This will also help with some advanced issues like https://github.com/python/mypy/issues/3829
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 localiser map_instance_to_supertype() et la gestion ad hoc existante des protocoles génériques, en particulier le chemin impliquant *args. Lisez la discussion associée dans l’issue #3829 et suivez la manière dont les arguments de type des protocoles sont actuellement déduits. Le travail est terminé lorsqu’un helper dédié fournit le mappage équivalent pour les supertypes de protocoles et que les cas ad hoc concernés peuvent l’utiliser.
Rédigé par le modèle d'indexation à partir du texte de l'issue.
Évaluation
- Stack technique
- python
- Domaine
- compilers
- Type d'issue
- Fonctionnalité
- Difficulté
- 4/5
- Temps estimé
- 3-5 jours
- Activité
- À l'abandon
- Clarté
- Plutôt claire
- Accessibilité débutants
- 35/100