Summary

Enum members with known standard-library constructors currently lose their precise value type whenever construction includes __new__ or __init__. For example, IntEnum.X.value is inferred as int even when the declared value is exactly 1.

This preserves literal values when their runtime class matches the enum's inherited _value_ annotation:

from enum import IntEnum

class Answer(IntEnum):
    YES = 1

reveal_type(Answer.YES.value)  # Literal[1]

Values that the constructor normalizes, such as True passed through int.__new__, continue to use the inherited annotation. User-defined _value_ annotations and constructors also retain their existing conservative behavior.