Cannot infer type of lambda regression with mypy 1.9

Bug Report

The lambda in the following code snippet reports error: Cannot infer type of lambda starting from mypy 1.9.0 (It did not report an error with mypy 1.8.0).

https://github.com/python/mypy/issues/15459 seems related, but it looks as mypy 1.8.0 also reported an error there.

To Reproduce

import asyncio
import signal


async def shutdown(
    signal: signal.Signals,
) -> None:
    print(signal.name)


async def main() -> None:
    loop = asyncio.get_event_loop()
    signals = (signal.SIGHUP, signal.SIGTERM, signal.SIGINT)
    for s in signals:
        loop.add_signal_handler(
            s,
            lambda s=s: asyncio.create_task(  #  <-- error: Cannot infer type of lambda  [misc]
                shutdown(
                    signal=s,
                ),
                name="shutdown",
            ),
        )

mypy playground

Expected Behavior

No error shown regarding the lambda.

Actual Behavior

mypy reports Cannot infer type of lambda [misc]

Your Environment

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

Inizia eseguendo il reproducer fornito con mypy 1.8.0 e 1.9.0 usando --strict, quindi confronta il comportamento nel mypy playground collegato. Analizza la regressione nell’inferenza dei tipi delle lambda mostrata nell’esempio; il lavoro è completato quando la versione attuale non segnala più Cannot infer type of lambda per questo codice.