False positive (and puzzling message) with union types and callables

To Reproduce

This works (no complains from mypy):

from typing import TypeVar, Callable

_T = TypeVar("_T")

class Param:
    def __init__(self, initialize: Callable[[], _T]) -> None:
        ...

Param(lambda: 1)

as well as:

from typing import TypeVar, Callable

_T = TypeVar("_T")

class Param:
    def __init__(self, initialize: _T | Callable[[], _T]) -> None:
        ...

Param(1)

but for this:

from typing import TypeVar, Callable

_T = TypeVar("_T")

class Param:
    def __init__(self, initialize: _T | Callable[[], _T]) -> None:
        ...

Param(lambda: 1)

mypy issues two weird messages:

src\playground.py:9: error: Argument 1 to "Param" has incompatible type "Callable[[], int]"; expected "Callable[[], <nothing>]"
src\playground.py:9: error: Return statement in function which does not return
Found 2 errors in 1 file (checked 1 source file)

Reproduce los tres ejemplos de src/playground.py y compara los diagnósticos de la unión que involucra Callable. Empieza rastreando cómo mypy gestiona la inferencia de tipos callable y unión, y después añade una prueba de regresión que cubra el ejemplo que falla; el trabajo estará terminado cuando la llamada válida no produzca errores y desaparezca el diagnóstico de retorno engañoso.