False positive passing default valued arguments to lambda

Bug Report
Using default valued arguments is a common trick to ensure that a lambda references the current loop value (https://stackoverflow.com/a/25314665/145289)

def f() -> None:
    for i in range(0, 10):
        print(list(filter(lambda m, x=i: m == x, [4, 3])))

Expected Behavior

Mypy should not report any error

Actual Behavior

But mypy reports a false positive
kk.py:3: error: Argument 1 to "filter" has incompatible type "Callable[[Any, Any], Any]"; expected "Callable[[int], TypeGuard[Any]]" [arg-type]

Your Environment

• Mypy version used: 1.1.1
• Mypy command-line flags:
• Mypy configuration options from mypy.ini (and other config files):
• Python version used: 3.11.0

mypy 1.1.1 と Python 3.11 で、提供された lambda と filter の例を再現します。lambda のパラメーターの 1 つにデフォルト値がある場合に callable がどのように推論されるかを追跡し、そのケースの回帰テストカバレッジを追加します。mypy が報告された arg-type エラーなしで例を受け入れれば完了です。