Lambda type cannot be inferred when type context includes a callable with a callable parameter

This was filed as a pyright bug. I noticed that mypy likewise doesn't handle this case, and I couldn't find any open issues that cover this.

Mypy playground link

from typing import Callable, Generic, TypeVar

T = TypeVar("T")

def func1(callable: Callable[[Callable[[T], T]], T]) -> T:
    return callable(lambda x: x)

v1 = func1(lambda a: a(0))
reveal_type(v1)  # Should be int

v2 = func1(lambda a: a(""))
reveal_type(v2)  # should be str

class A(Generic[T]):
    def __init__(self, value: T) -> None:
        self.value = value

def func2(callable: Callable[[type[A[T]]], A[T]]) -> T:
    return callable(A).value

v3 = func2(lambda A: A(0))
reveal_type(v3)  # Should be int

v4 = func2(lambda A: A(""))
reveal_type(v4)  # Should be str

Expected Results: No Errors and revealed types as indicated in the comments

Actual Results: Multiple errors ("Need type annotation for ...").

Inizia con il mypy playground collegato ed esegui il riproduttore Python incluso che utilizza Callable, Generic e TypeVar. Confronta i tipi rivelati per v1 fino a v4 con i risultati attesi int e str; il lavoro è completato quando gli esempi non producono errori e rivelano quei tipi.