Type check for lambda fails with NamedTuple

[Zaikaba]

Environment data

• Language Server version: 2024.9.2
• OS and version: win32 x64
• Python version (and distribution if applicable, e.g. Anaconda): 3.12.5 ( conda )
• python.analysis.indexing: true
• python.analysis.typeCheckingMode: strict

Code Snippet

from collections.abc import Callable
from typing import NamedTuple

class Bar1:

    def __init__( self, val: bool, fun: Callable[ [ bool ], bool ] ):
        self.val = val
        self.fun = fun

# fine: "x: bool"
bar1 = Bar1( True, lambda x: x )

class Bar2( NamedTuple ):

    val: bool
    fun: Callable[ [ bool ], bool ]

# Type of parameter "x" is unknown
bar = Bar2( True, lambda x: x )

Expected behavior

Type check should derive (bool)->bool in both cases.

Actual behavior

NamedTuple version fails, x is unknown.

Logs

[erictraut]

Could someone from the pylance team please transfer this to the pyright project since this is a core type checker issue? Thanks!