Regression in 1.7: mypy loses truthiness constraint for union containing tuple
Abierto
Nadie ha tomado este issue todavía.
bug
topic-type-narrowing
- Lenguaje dominante
- Python
- Estrellas
- 20.6k
- Forks
- 3.3k
- Métricas de merge de PR
- Métricas de PR pendientes
Descripción
def f(x: bool | tuple[int, int]):
if x:
if x is True or x[0]:
pass
Gives:
main.py:3: error: Value of type "Literal[False] | tuple[int, int]" is not indexable [index]
This error is newly reported after #16237
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 el ejemplo proporcionado con mypy y compara el comportamiento introducido después del issue #16237. Rastrea la lógica de narrowing para una comprobación de truthiness sobre una unión de bool y tuple. Se considera terminado cuando el ejemplo ya no informa de un error de indexabilidad, preservando al mismo tiempo el narrowing correcto para las demás ramas.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- python
- Área
- compilers
- Tipo de issue
- Error
- Dificultad
- 4/5
- Tiempo estimado
- 3-5 días
- Estado de actividad
- Estancado
- Claridad
- Bastante claro
- Aptitud para principiantes
- 38/100