stubtest: False-positive errors for `type[T]` attributes with non-`type` metaclasses
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
Given a stub like so:
from abc import ABCMeta
class Y(metaclass=ABCMeta): ...
class Z:
foo: type[Y]
And a runtime like so:
from abc import ABCMeta
class Y(metaclass=ABCMeta): ...
class Z:
foo = Y
Stubtest will issue the following complaint:
error: Z.foo variable differs from runtime type abc.ABCMeta
This error can be reproduced with any custom metaclass; it's not just ABCMeta that triggers the bug:
# STUB
class Meta(type): ...
class Y(metaclass=Meta): ...
class Z:
foo: type[Y]
# RUNTIME:
class Meta(type): ...
class Y(metaclass=Meta): ...
class Z:
foo = Y
To Reproduce
- Check out a local clone of mypy
- Activate a virtual environment with an editable install of mypy
- Apply this diff:
diff --git a/mypy/test/teststubtest.py b/mypy/test/teststubtest.py
index 2adbfaac2..60ddebc7f 100644
--- a/mypy/test/teststubtest.py
+++ b/mypy/test/teststubtest.py
@@ -208,6 +208,21 @@ class StubtestUnit(unittest.TestCase):
""",
error="X.mistyped_var",
)
+ yield Case(
+ stub="""
+ class Meta(type): ...
+ class Y(metaclass=Meta): ...
+ class Z:
+ foo: type[Y]
+ """,
+ runtime="""
+ class Meta(type): ...
+ class Y(metaclass=Meta): ...
+ class Z:
+ foo = Y
+ """,
+ error=None
+ )
- Run
pytest ./mypy/test/teststubtest.py
Expected Behavior
No error should be emitted.
Actual Behavior
An error was emitted.
Cc. @hauntsaninja
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 en mypy/test/teststubtest.py añadiendo y ejecutando el caso StubtestUnit mostrado con pytest ./mypy/test/teststubtest.py. Sigue la comparación de stubtest que ejecuta ese caso y considera terminado el trabajo cuando el ejemplo de metaclase personalizada no emita ningún error y las pruebas existentes sigan pasando.
Escrito por el modelo de indexación a partir del texto del issue.
Evaluación
- Stack tecnológico
- python
- Área
- testing-qa, tooling
- Tipo de issue
- Error
- Dificultad
- 3/5
- Tiempo estimado
- 1-2 días
- Estado de actividad
- Estancado
- Claridad
- Bien especificado
- Aptitud para principiantes
- 48/100