(🐞) Incorrect narrowing unions of intersections to `Never`
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
class A: pass
class B: pass
class C: pass
x: A
reveal_type(x) # N: Revealed type is "A"
assert isinstance(x, B | C)
reveal_type(x) # N: Revealed type is "A & B | A & C"
assert isinstance(x, C)
reveal_type(x) # N: Revealed type is "Never"
# Expected "A & B & C | A & C" simplifies to "A & C"
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 la reproducción enlazada en mypy-play y compara los tipos revelados después de cada aserción isinstance. Sigue la ruta de narrowing que produce Never y verifica después que el tipo revelado final coincide con el resultado esperado A & C.
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
- 42/100