Wrong type inference for `<tuple>[s]` where `s: slice`
Abierto
Nadie ha tomado este issue todavía.
bug
- Lenguaje dominante
- Python
- Estrellas
- 20.6k
- Forks
- 3.3k
- Métricas de merge de PR
- Métricas de PR pendientes
Descripción
Bug Report
a = (1, 2, 3)
s = slice(None, 1)
reveal_type(a[s]) # Revealed type is `builtins.int`
reveal_type(a.__getitem__(s)) # Revealed type is `builtins.tuple[builtins.int, ...]` (OK)
The runtime value of a[s] is (1,).
The type inference works for lists though.
Your Environment
- Mypy version used: 1.0.0-2.1, master
- Python version used: 3.12, 3.13
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
Comienza con el reproductor proporcionado de tuplas y slices, y luego sigue la inferencia de tipos de mypy para la suscripción de tuplas y compárala con el tratamiento existente de los slices de listas. El trabajo estará terminado cuando tanto a[s] como a.__getitem__(s) revelen un tipo tupla coherente con el valor en tiempo de ejecución, sin introducir regresiones en la indexación ordinaria de tuplas.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- python
- Área
- tooling
- Tipo de issue
- Error
- Dificultad
- 3/5
- Tiempo estimado
- 1-2 días
- Estado de actividad
- Tranquilo
- Claridad
- Bastante claro
- Aptitud para principiantes
- 68/100