mypy should error about missing type vars in explicit type aliases
Abierto
Nadie ha tomado este issue todavía.
feature
topic-type-alias
- Lenguaje dominante
- Python
- Estrellas
- 20.6k
- Forks
- 3.3k
- Merge medio
- 1 d 18 h
- PR fusionados (30 d)
- 54
Descripción
Bug Report
Explicit type aliases don't allow no-args for generics, but don't error about it either.
To Reproduce
from typing import Generic, TypeVar
from typing_extensions import TypeAlias
T = TypeVar("T")
class Y(Generic[T]): ...
Alias2a = Y
reveal_type(Alias2a) # N: Revealed type is "def [T] () -> __main__.Y[T`1]"
Alias2b: TypeAlias = Y
reveal_type(Alias2b) # N: Revealed type is "def () -> __main__.Y[Any]"
Expected Behavior
An error when defining Alias2b.
Actual Behavior
No error when defining Alias2b.
Your Environment
Checked on mypy playground.
- Mypy version used: v1.14
- Mypy command-line flags:
--disallow-any-generics - Mypy configuration options from
mypy.ini(and other config files): N/A - Python version used: 3.12
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
Ejecuta la reproducción proporcionada en Python 3.12 con --disallow-any-generics y compara los resultados de reveal_type de Alias2a y Alias2b. Se considera terminado cuando definir Alias2b como un alias de tipo genérico explícito informa de un error por la falta de variables de tipo, mientras que el comportamiento informado de Alias2a sigue estando comprendido.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- python
- Área
- tooling
- Tipo de issue
- Error
- Dificultad
- 3/5
- Tiempo estimado
- 1-2 días
- Estado de actividad
- Estancado
- Claridad
- Bien especificado
- Aptitud para principiantes
- 45/100