(🐞) False positive error for list of two callables
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
This list is perfectly valid. only usages should be an error.
def f1(*, a: int): ...
def f2(*, b: int): ...
[f1, f2] # error: List item 0 has incompatible type "(NamedArg(int, 'a')) -> None]"; expected "(NamedArg(int, 'b')) -> None"
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
Ejecuta primero la reproducción enlazada de mypy-play y, después, sigue la inferencia del tipo callable responsable del error del elemento de la lista. Se considera terminado cuando las dos definiciones callable pueden aparecer juntas en una lista sin producir un error, mientras que los usos no válidos siguen produciendo errores.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- python
- Área
- devtools
- Tipo de issue
- Error
- Dificultad
- 3/5
- Tiempo estimado
- 1-2 días
- Estado de actividad
- Estancado
- Claridad
- Bien especificado
- Aptitud para principiantes
- 45/100