Implement an analog of map_instance_to_supertype() for protocol supertypes
Nadie ha tomado este issue todavía.
- Lenguaje dominante
- Python
- Estrellas
- 20.6k
- Forks
- 3.3k
- Métricas de merge de PR
- Métricas de PR pendientes
Descripción
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
Guía de contribución
Primeros pasos
- Lee el issue completo y luego la guía de contribución del proyecto.
- Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
- Haz un fork del repositorio y trabaja en una rama.
- Abre un pull request que haga referencia al número del issue.
Línea de trabajo
Empieza localizando map_instance_to_supertype() y el manejo ad hoc existente para protocolos genéricos, especialmente la ruta que incluye *args. Lee la discusión relacionada en el issue #3829 y sigue cómo se infieren actualmente los argumentos de tipo de los protocolos. Se considera terminado cuando un helper dedicado proporcione el mapeo equivalente para los supertipos de protocolos y los casos ad hoc relevantes puedan usarlo.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- python
- Área
- compilers
- Tipo de issue
- Nueva funcionalidad
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Estado de actividad
- Estancado
- Claridad
- Bastante claro
- Aptitud para principiantes
- 35/100