Shared via mypy Playground

main.py

import enum
import typing

class Simple(enum.IntEnum):
    OPTION = ...


class WithValue(enum.IntEnum):
    _value_: int
    OPTION = ...


class WithDirectValue(enum.IntEnum):
    _value_: int
    OPTION = 2

class NonInt(enum.Enum):
    _value_: str
    OPTION = "str"


typing.reveal_type(Simple.OPTION)
typing.reveal_type(Simple.OPTION.value)
typing.reveal_type(WithValue.OPTION)
typing.reveal_type(WithValue.OPTION.value)
typing.reveal_type(WithDirectValue.OPTION)
typing.reveal_type(WithDirectValue.OPTION.value)
typing.reveal_type(NonInt.OPTION)
typing.reveal_type(NonInt.OPTION.value)