Report an error if *args or **kwargs are passed when all other arguments are filled.

Bug Report
You can pass **kwargs or *args to a function, even if all of its arguments are already passed. I would expect this to raise an error, since it's only valid for empty kwargs and args.

To Reproduce
playground link

def f(x: int) -> int:
    return x + 1
    
def g(x: int, **kwargs) -> int:
    return f(x, **kwargs)
    
def h(x: int, args: list[int]) -> int:
    return f(x, *args)

g(1, bar=42)
h(2, [])
h(3, [1337])

Expected Behavior
In both g and h, the x argument is specified, so I would expecting passing **kwargs or *args to produce an error, since they can never correctly pass additional arguments.

Actual Behavior

Success: no issues found in 1 source file

Your Environment
I tried several versions of mypy (including 1.16.0 and master) with python3.12 in mypy playground.
I tried with both with and without --check-untyped-defs

** Related Issues

• This is a more general case of https://github.com/python/mypy/issues/13380 (that issue specifically mentions functions with no arguments)
• https://github.com/python/mypy/issues/12206 is another issue with splatting, but I don't think it's quite the same

Inizia eseguendo la riproduzione collegata in mypy playground e confronta il comportamento descritto per g e h. Esamina le issue correlate 13380 e 12206 per il contesto e l’ambito esistenti. Il lavoro è completato quando mypy segnala le chiamate non valide con argomenti splattati, preservando i casi validi di *args e **kwargs vuoti.