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.

Führe zunächst mypy für die beiden Callable/Protocol-Reproduktionen im Issue aus und vergleiche die Diagnosen zur Zuweisung. Verfolge die Behandlung von __args und __arg bei der Callable-Kompatibilität und überprüfe anschließend, dass Argumente, die sowohl als Keyword- als auch als Positionsargument behandelt werden, mit einer eindeutigen Diagnose abgelehnt werden.