Generic class clone method using property variable for type arg produces name-defined error
Nadie ha tomado este issue todavía.
- Lenguaje dominante
- Python
- Estrellas
- 20.6k
- Forks
- 3.3k
- Merge medio
- 1 d 18 h
- PR fusionados (30 d)
- 54
Descripción
My Python code is running fine for what I want it to do, but I've had to silence this mypy error in this case, where it does not appear to be correct. A property is used to access the __orig_class__ variable.
To reproduce:
mypy playground - https://mypy-play.net/?mypy=1.10.0&python=3.12&gist=063c6160fe6d1bf37973f47906a6d997
from __future__ import annotations
from typing import Generic, TypeVar, get_args
T = TypeVar("T", bound=int)
class Foo(Generic[T]):
@property
def t(self) -> type[T]:
return get_args(self.__orig_class__)[0] # Get the type arg, (int)
def clone(self) -> Foo[T]:
return Foo[self.t]() # test.py:12: error: Name "self.t" is not defined [name-defined]
def no_complaint(self) -> None:
print(self.t("1"))
foo = Foo[int]()
foo.no_complaint() # `1`
r = foo.clone()
r.no_complaint() # `1`
Expected behaviour
Mypy reports no errors, python code runs correctly.
Actual behaviour
Python code runs correctly.
Mypy returns
test.py:12: error: Name "self.t" is not defined [name-defined]
Environment
Base install with:
mypy==1.10.0
python==3.11.4
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 mypy playground enlazado y el ejemplo indicado de Python 3.12 y mypy 1.10.0 en test.py; después, sigue cómo se produce el diagnóstico name-defined para self.t dentro de Foo.clone. Se considera terminado cuando la reproducción no informa de errores y conserva el comportamiento mostrado en tiempo de ejecución.
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
- 45/100