Reject arguments that are both keyword and positional only

I tried to use Calalble protocol like this:

from typing import Callable, Protocol

class F(Protocol):
    def __call__(self, *__args: str,  __arg: int) -> int: ...


def f(*__args: str, __arg: int) -> int: ...

f_: F = f

but it fails with quite confusing message:

error: Incompatible types in assignment (expression has type "Callable[[VarArg(str), NamedArg(int)], int]", variable has type "F")
note: "F.__call__" has type "Callable[[VarArg(str), NamedArg(int)], int]"
Found 1 error in 1 file (checked 1 source file)

If I move varargs, things pass:

class G(Protocol):
    def __call__(self, __arg: int, *__args: str) -> int: ...
    
def g(__arg: int, *__args: str) -> int: ...
g_: G = g

I cannot say if this is a bug, or expected behaviour with confusing message.

Inizia eseguendo mypy sulle due riproduzioni di Callable/Protocol nell’issue e confronta le relative diagnostiche di assegnazione. Traccia la gestione di __args e __arg nella compatibilità dei callable, quindi verifica che gli argomenti trattati sia come argomenti con nome sia come argomenti posizionali vengano rifiutati con una diagnostica chiara.