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.

まず、issue にある 2 つの Callable/Protocol の再現コードに対して mypy を実行し、代入に関する診断を比較します。callable の互換性における __args と __arg の処理を追跡し、その後、キーワード引数と位置引数の両方として扱われる引数が、明確な診断とともに拒否されることを確認します。