Since 1.6.0 TypeVar with bound types fails to match with Callable of the same bound types
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
Did not occur prior to 1.6.0.
https://github.com/python-cmd2/cmd2/actions/runs/6699406223/job/18203570049
Got the following error with mypy:
cmd2/cmd2.py: note: In member "_build_parser" of class "Cmd":
cmd2/cmd2.py:699:46: error: Argument 1 has incompatible type "CommandParent"; expected "Union[Type[Cmd], Type[CommandSet]]" [arg-type]
Found 1 error in 1 file (checked 18 source files)
where CommandParent is a TypeVar declared as:
CommandParent = TypeVar('CommandParent', bound=Union['cmd2.Cmd', CommandSet])
To Reproduce
https://github.com/python-cmd2/cmd2/blob/8d88c357ca0764b114c68d8175d2cd33146b83d7/cmd2/cmd2.py#L694
Expected Behavior
Since CommandParent is bound to the expected type, this shouldn't be an error
Actual Behavior
I get the error above.
Your Environment
- Mypy version used: 1.6.1
- Mypy command-line flags:
- Mypy configuration options from
mypy.ini(and other config files): - Python version used: 3.8, 3.9,3.10,3.11
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
Reproduce el fallo de cmd2/cmd2.py alrededor de la línea 694 usando mypy 1.6.1 y las versiones de Python indicadas. Compara el bound de TypeVar con el manejo de argumentos de Callable y, después, verifica que los tipos compatibles indicados ya no produzcan el error arg-type.
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