(🐞) Protocol compatibility is broken for __call__(self, *args: Any)

[KotlinIsland]

# mypy: disable-error-code=empty-body
from __future__ import annotations

from typing import Any, Protocol

class A(Protocol):
    def __call__(self, *args: Any) -> None: ...

class B1(A):
    def __call__(self, x: int) -> None: ...  # no error

class B2:
    def __call__(self, x: int) -> None: ...

a: A = B2()  # Incompatible types in assignment (expression has type "B2", variable has type "A")  [assignment]

@ilevkivskyi

[JelleZijlstra]

This seems the same as #16569

[erictraut]

I think this is the same issue as #16569. The protocol should be considered incompatible in both of your examples above, but the (arguably incorrect) special-case handling of *Any discussed in the other issue is resulting in a false negative in the second example above.

For example, mypy reports no errors in this code, but it crashes at runtime.

from typing import Any, Protocol

class A1(Protocol):
    def f(self, *args: Any) -> None:
        ...

class B1:
    def f(self, y: str) -> None:
        ...

def func(a: A1):
    a.f("", "")

func(B1())

[KotlinIsland]

I'll close and merge with #16569