False negative when function uses a default argument for a generic parameter

[erictraut]

from collections.abc import Callable

default_cache: dict[str, int] = {}
def foo[T](x: T, y: dict[str, T] = default_cache) -> T: ...

def takes_identity[T](func: Callable[[T], T], value: T) -> None:
    func(value)

takes_identity(foo, "unsafe")  # no error

This comes from python/typing#1633 (reply in thread).

[erictraut]

This is addressed in pyright 1.1.364.