mypy flags "overlap between argument names and ** TypedDict items" with total=False

Bug Report

mypy complains about explicit kwargs of a function appearing in the Unpacked TypedDict used for the ** parameter, even if the TypedDict is total=False.

To Reproduce

from typing import TypedDict, Unpack


class Opts(TypedDict, total=False):
    verbose: bool
    other: str


def do_a(*, verbose: bool = False, **_kwargs: Unpack[Opts]) -> None:
    pass


def do_b(**kwargs: Unpack[Opts]) -> None:
    pass


def do_thing(cmd: str, **kwargs: Unpack[Opts]) -> None:
    match cmd:
        case 'a':
            do_a(**kwargs)

        case 'b':
            do_b(**kwargs)

https://mypy-play.net/?mypy=latest&python=3.12&gist=a7836435f32a3fab9c3e671b73897370

Expected Behavior

I expect that this should be completely fine. Yes, verbose might end up being "stolen" away from the **kwargs in do_a() but that's quite fine, since total=False there anyway. There is no promise/expectation that verbose will be included.

Actual Behavior

main.py:9: error: Overlap between argument names and ** TypedDict items: "verbose" [misc]

Your Environment

I'm running on Fedora 42 (mypy 1.15.0 (compiled: no)), but the playground gets exactly the same error.

Inizia con il riproduttore minimo in main.py oppure eseguilo nel mypy playground collegato e conferma la diagnostica di sovrapposizione alla riga 9. Traccia il punto di ingresso del type checking di mypy che segnala «Overlap between argument names and ** TypedDict items» per un Unpack’ed total=False TypedDict. Il lavoro è completato quando il riproduttore non segnala più questo errore, mentre il resto del comportamento di tipizzazione continua a essere verificato.