false positive no-any-return from a typed function nested in an untyped function
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
If an inner typed function which returns something other than None is nested within an untyped function then an error is generated about returning Any from the inner function.
To Reproduce
Expected Behavior
bug.py:7: note: Revealed type is "pathlib.Path"
bug.py:15: note: Revealed type is "pathlib.Path"
bug.py:26: note: Revealed type is "pathlib.Path"
Success: no issues found in 1 source file
Actual Behavior
main.py:7: note: Revealed type is "pathlib.Path"
main.py:15: note: Revealed type is "pathlib.Path"
main.py:26: note: Revealed type is "Any"
main.py:27: error: Returning Any from function declared to return "str" [no-any-return]
Found 1 error in 1 file (checked 1 source file)
Your Environment
- Mypy version used:1.19.1
- Mypy command-line flags: --warn-return-any
- Mypy configuration options from
mypy.ini(and other config files): none - Python version used: 3.13
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 vinculada de mypy-play usando Python 3.13 y --warn-return-any; después, sigue cómo mypy gestiona una función interna tipada anidada en una función sin tipar. Se considera terminado cuando la función interna conserva su tipo de retorno pathlib.Path inferido y la reproducción no informa de ningún error no-any-return erróneo.
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
- 45/100