import enum
from typing import Literal

class Color(enum.Enum):
    Red = enum.auto()
    Blue = enum.auto()

c: Literal[Color.Red] = Color.Blue # error