Enums, bools, and tuples are not expanded during overload evaluation

[InSyncWithFoo]

Minimal reproducible example (playground):

class E(Enum):
    A = 'A'
    B = 'B'


@overload
def f(v: Literal[E.A]) -> int: ...
@overload
def f(v: Literal[E.B]) -> str: ...

def f(v: E) -> int | str: ...

a1: E = ...
a2: Literal[E.A, E.B] = ...

reveal_type(f(a1))  # error: No matching overload
reveal_type(f(a2))  # int | str

The proposed overload chapter says that a non-Flag enum should be expanded into the union of its members during overload evaluation.

[erictraut]

No need to file bugs against individual parts of the draft proposal. There are many changes that will need to be made to conform to the proposal — both in pyright and mypy — once it has been accepted. I'll get to it in time. Closing this for now.

[erictraut]

Reopening this issue now that conformance tests have been written for the new chapter.