Callable[..., T] causes false positive in overload checks
Abierto
@Michael0x2a ya está trabajando en esto.
Desde el 4/1/2019.
bug
false-positive
priority-1-normal
topic-overloads
- Lenguaje dominante
- Python
- Estrellas
- 20.6k
- Forks
- 3.3k
- Métricas de merge de PR
- Métricas de PR pendientes
Descripción
This example:
@overload
def deco(f: Callable[[], int]) -> Callable[[], str]: ...
@overload
def deco(f: Callable[..., int]) -> Callable[..., str]: ...
def deco(f):
pass
causes
Overloaded function signature 2 will never be matched: signature 1's parameter type(s) are the same or broader
But it should be allowed (the same way we allow various last overloads with Any types).
cc @Michael0x2a
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.
Evaluación
Este issue todavía no se ha evaluado.