(🐞) `type`s/`Instance`s don't join properly with `Callable`s
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
from typing import Callable
c: Callable[[], object]
t: type[object]
reveal_type(c if bool() else t) # object
class I:
def __call__(self) -> None: ...
i: I
reveal_type(i if bool() else t) # object
type[object]/I is a subtype of Callable[[], object], so this should join to Callable[[], object], not object.
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 ejecutando los ejemplos de Python proporcionados y comprobando los resultados de reveal_type para las expresiones condicionales que involucran Callable, type[object] e I. Sigue el comportamiento de combinación de tipos para estos casos; se considera terminado cuando las expresiones muestran Callable[[], object] en lugar de object.
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