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)

Riproduci i tre esempi in src/playground.py e confronta i diagnostici per l’unione che coinvolge Callable. Inizia tracciando la gestione da parte di mypy dell’inferenza dei tipi callable e union, quindi aggiungi un test di regressione che copra l’esempio non riuscito; il lavoro è completato quando la chiamata valida non produce errori e il diagnostico di ritorno fuorviante è scomparso.