(🐞) `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

Inizia eseguendo con mypy il riproduttore Python fornito e confronta il caso A/B1 basato su Protocol con l'assegnazione strutturale di B2. Traccia il controllo di compatibilità del Protocol chiamabile che produce la diagnostica di assegnazione. Il lavoro è completato quando B2 viene accettato come A, mentre i casi incompatibili esistenti continuano a essere rifiutati correttamente.