Marking a private Enum member as member() does not work

Consider this example:

from enum import Enum, member

class Pet(Enum):
    __CAT = member(1)

reveal_type(Pet.__CAT)  # N: Revealed type is "enum.member[Literal[1]?]"

However, in runtimes it fails with AttributeError, because __CAT is mangled to _Pet__CAT as regular private names are.

We need to fix this corner-case.

I also think that the revealed type should be just Literal[1] ...?

PR #16715 deals with name mangling. Would it fix this issue as well?

Yes, this problem is not related to Enum. It happens for all similar case:

from enum import Enum

class A:
    def __init__(self) -> None:
        self.__private = 1
        
A().__private  # false positive

Navigation Menu