False-positive "Overloaded function signatures overlap with incompatible return types" #14770

class Message:
    pass


class Event:
    pass


_WaitableTypes = Union[type[Message], type[Event]]
_MessageT1 = TypeVar("_MessageT1", bound=Message)
_MessageT2 = TypeVar("_MessageT2", bound=Message)


# Single message
@overload
def wait_for(
    msg_type: type[_MessageT1],
) -> _MessageT1:
    ...


# Two messages (arbitrary iterable of messages is also supported, but not relevant in this example)
@overload
def wait_for(
    msg_type: tuple[type[_MessageT1], type[_MessageT2]],
) -> Union[_MessageT1, _MessageT2]:
    ...


# List of events
@overload
def wait_for(
    msg_type: Iterable[type[Event]],
) -> Event:
    ...


def wait_for(
    msg_type: Union[_WaitableTypes, Iterable[_WaitableTypes]],
) -> Union[Message, Event]:
    return ...  # type: ignore