`--disallow-untyped-calls` reports errors in untyped functions
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
Using --disallow-untyped-calls and --check-untyped-defs results in errors about calling untyped functions in a typed context, even when calling from an untyped function.
To Reproduce
Test case:
[case testDisallowUntypedCallsFromUntypedFunction]
# flags: --disallow-untyped-calls --check-untyped-defs
def f(x):
pass
def g(y):
f(y)
Expected Behavior
Either:
- the documentation and the error message should be updated to specify that
--disallow-untyped-callsdisallows all calls to untyped functions, regardless of whether the current function has type annotations, or - the above code shouldn't produce any errors
Actual Behavior
The call to f in the above example produces the error "Call to untyped function "f" in typed context".
Your Environment
See https://mypy-play.net/?mypy=latest&python=3.10&flags=check-untyped-defs%2Cdisallow-untyped-calls&gist=3350fe27968b29dabc5ef1e207d008ce to reproduce.
This came up in #12901 (specifically the mypy_primer diff had an error here)
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 el caso de prueba llamado testDisallowUntypedCallsFromUntypedFunction y reprodúcelo con --disallow-untyped-calls y --check-untyped-defs. Rastrea cómo se clasifica la llamada a f dentro de g y, a continuación, determina si la solución prevista consiste en actualizar la documentación y la redacción, o en cambiar el comportamiento para que el test ya no produzca un error.
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
- 38/100