Enum `_ignore_`'d names and private names are treated like normal members
Abierto
Nadie ha tomado este issue todavía.
bug
topic-enum
- Lenguaje dominante
- Python
- Estrellas
- 20.6k
- Forks
- 3.3k
- Métricas de merge de PR
- Métricas de PR pendientes
Descripción
Bug Report
To Reproduce
from enum import Enum
from typing import TYPE_CHECKING
class Foo(Enum):
__str__ = lambda self: "blah"
_ignore_ = ["ignored"]
ignored = lambda _: "blah"
_Foo__private = lambda _: "blah"
print(Foo.__members__) # {}
print(Foo.__str__) # <function Foo.<lambda> at 0x...>
if TYPE_CHECKING:
reveal_type(Foo.__str__) # note: Revealed type is "def () -> builtins.str" ✅
print(hasattr(Foo, "_ignore_")) # False
if TYPE_CHECKING:
reveal_type(Foo._ignore_) # error: "type[Foo]" has no attribute "_ignore_" [attr-defined] ✅
print(hasattr(Foo, "ignored")) # False
if TYPE_CHECKING:
reveal_type(Foo.ignored) # note: Revealed type is "Literal[__main__.Foo.ignored]?" ❌
print(Foo._Foo__private) # <function Foo.<lambda> at 0x...>
if TYPE_CHECKING:
reveal_type(Foo._Foo__private) # note: Revealed type is "Literal[__main__.Foo._Foo__private]?" ❌
https://mypy-play.net/?mypy=latest&python=3.13&gist=ea296898a9c0e29c550b6154fb2cb594
Actual Behavior
main.py:16: note: Revealed type is "def () -> builtins.str"
main.py:20: error: "type[Foo]" has no attribute "_ignore_" [attr-defined]
main.py:20: note: Revealed type is "Any"
main.py:24: note: Revealed type is "Literal[__main__.Foo.ignored]?"
main.py:28: note: Revealed type is "Literal[__main__.Foo._Foo__private]?"
Found 1 error in 1 file (checked 1 source file)
Your Environment
- Mypy version used: 1.14.1
- Python version used: 3.13
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 ejemplo con mypy 1.14.1 en Python 3.13, centrándote en el manejo de str, ignore, ignored y el miembro privado cuyo nombre usa name mangling por parte de Enum. Traza la ruta de comprobación de tipos que clasifica los atributos de Enum y añade cobertura de regresión para que los nombres ignorados y privados no se traten como miembros normales.
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
- 45/100