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

# 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

Beginne damit, den bereitgestellten Python-Reproducer durch mypy laufen zu lassen und den auf Protocol basierenden A/B1-Fall mit der strukturellen B2-Zuweisung zu vergleichen. Verfolge die Kompatibilitätsprüfung des aufrufbaren Protocols, die die Zuweisungsdiagnose erzeugt. Als erledigt gilt die Aufgabe, wenn B2 als A akzeptiert wird, während die vorhandenen inkompatiblen Fälle weiterhin korrekt abgelehnt werden.