Union types for dict keys are not inferred in union context
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
mypy: 0.650
Python: 3.7.1
I'm not sure if this is a bug or a new feature, however the following code is unexpected (in my mind, especially coming from TypeScript):
d = {"1": 2, 3: 4}
reveal_type(d) # builtins.dict[builtins.object*, builtins.int*]
I would have expected mypy to infer the type of d as builtins.dict[Union[builtins.str*, builtins.int*], builtins.int*].
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 reproduciendo la inferencia de diccionario informada con mypy 0.650 y Python 3.7.1; después, sigue el punto de entrada de la inferencia de tipos para los literales de diccionario. Se considera terminado cuando el ejemplo informa de un diccionario cuyo tipo de clave es una unión de str e int, con una prueba de regresión que cubra este comportamiento.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- python
- Área
- devtools
- Tipo de issue
- Error
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Estado de actividad
- Estancado
- Claridad
- Bastante claro
- Aptitud para principiantes
- 35/100