(🐞) Heterogeneous Enum's .value is Any & Union of homogeneous Enums .value is Any

[KotlinIsland]

from enum import Enum


class Homo1(Enum):
    A = 1
    B = 2
class Homo2(Enum):
    A = 1
    B = 2
class Hetero(Enum):
    A = 1
    B = ""

homo: Homo1
reveal_type(homo.value)  # 1 | 2
hetero: Hetero
reveal_type(hetero.value)  # Any
homo_union: Homo1 | Homo2
reveal_type(homo_union.value)  # Any

• possibly related Narrowing enums causes .value to be typed as Any #14092