Unsound assignment of a method to a Callable

Bug Report

Assigning functions to a name that was defined as a Callable is unsound and results in TypeErrors when run in Python.

To Reproduce

Just typecheck the code below with --strict:

class B():
    a: Callable[['B', int], int]
    def b(self, i: int) -> int: return 1
    a = b

B().a(B(), 1)

results in no errors.

Expected Behavior

Python however raises a TypeError for the same code:

>>> B().a(B(), 1)
Traceback (most recent call last):
  File "<stdin>", line 1, in <module>
TypeError: b() takes 2 positional arguments but 3 were given

I feel like Mypy should probably somdisallow assigning functions in the class body to Callable

Your Environment

• Mypy version used: 9e1f4df133e155f213cf3714bf796bb9e8698907 (> v1.5.1)
• Mypy command-line flags: --strict
• Mypy configuration options from mypy.ini (and other config files): None
• Python version used: 3.10

Non è specificato alcun file sorgente né alcun test. Esegui prima l'esempio fornito con mypy --strict e confrontalo con il TypeError di Python; poi traccia come vengono verificate le assegnazioni nel corpo della classe alle annotazioni Callable. Il lavoro è completato quando la unsound assignment viene rifiutata e un test di regressione copre l'esempio.