bogus complaint when checking Callable arguments
Nadie ha tomado este issue todavía.
- Lenguaje dominante
- Python
- Estrellas
- 20.6k
- Forks
- 3.3k
- Métricas de merge de PR
- Métricas de PR pendientes
Descripción
Bug Report
mypy complains about correct code. it confuses the arguments to a Callable parameter with the return value of the function.
To Reproduce
https://gist.github.com/mypy-play/59b8705d6737e1f8f4855d7b2270e7e9
Expected Behavior
Code checks OK.
Actual Behavior
Bogus error:
Argument 1 to "test" has incompatible type "Callable[[str], bool]"; expected "Callable[[float | str], bool]" [arg-type]
Your Environment
mypy 1.15.0 (compiled: yes)
Python 3.13.2
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 de mypy-play y ejecútala usando mypy 1.15.0 en Python 3.13.2. Investiga por qué el argumento Callable se compara con el valor de retorno de la función; se considera terminado cuando la reproducción pasa la comprobación de tipos sin el error arg-type indicado.
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
- 4/5
- Tiempo estimado
- 3-5 días
- Estado de actividad
- Estancado
- Claridad
- Bastante claro
- Aptitud para principiantes
- 35/100