python / python/mypy

`callable()` fails to narrow type to `Callable`

Abierto
#20,748 4 comentarios 0 reacciones 0 asignados Ver en GitHub

Nadie ha tomado este issue todavía.

feature topic-type-narrowing
Lenguaje dominante
Python
Estrellas
20.6k
Forks
3.3k
Métricas de merge de PR
Métricas de PR pendientes

Descripción

Bug Report

I'm sorry if this is a duplicate; it's possible it's covered by one of the existing issues about type narrowing, but I couldn't find anything that explicitly covers this case.

https://mypy.readthedocs.io/en/stable/type_narrowing.html#type-narrowing-expressions explicitly says that callable(obj) will narrow obj to a callable type. However, in my code this doesn't seem to work; the argument to callable is still left as Any.

To Reproduce

With mypy 1.19.1 and --strict:

from collections.abc import Callable

class A:
    def get_callback(self, name: str) -> Callable[[], bool]:
        callback = getattr(self, name)
        assert callable(callback)
        return callback

Also demonstrated in this playground.

Actual Behavior

t.py:7: error: Returning Any from function declared to return "Callable[[], bool]"  [no-any-return]

Your Environment

  • Mypy version used: 1.19.1
  • Mypy command-line flags: --strict
  • Python version used: 3.13

Guía de contribución

Abrir la guía de contribución

Primeros pasos

  1. Lee el issue completo y luego la guía de contribución del proyecto.
  2. Comenta en el issue que vas a ocuparte — evita que dos personas hagan lo mismo.
  3. Haz un fork del repositorio y trabaja en una rama.
  4. Abre un pull request que haga referencia al número del issue.

Línea de trabajo

Comienza con el reproductor t.py usando mypy 1.19.1 y --strict; después, lee la documentación sobre expresiones de acotación de tipos enlazada en el informe, centrándote en callable(obj). Rastrea cómo se gestiona la aserción de callable y verifica que el ejemplo ya no informe de no-any-return al devolver Callable[[], bool].

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
Bastante claro
Aptitud para principiantes
48/100

Recibe los nuevos issues en tu correo

Un resumen breve de issues de GitHub para principiantes.