arguments list is empty if define __call__ as attribute of class

Bug Report

arguments list is empty if define __call__ as attribute of class

To Reproduce

import typing


class Bug:
    __slots__ = ("__call__",)
    __call__: typing.Callable[[int], bytes]

    @staticmethod
    def test(_x: int) -> bytes:
        return b""

    def __init__(self) -> None:
        self.__call__ = Bug.test


def bug() -> typing.Callable[[int], bytes]:
    return Bug()


if __name__ == "__main__":
    bug()

Expected Behavior

pass

Actual Behavior

test.py:17: error: Incompatible return value type (got "Bug", expected "Callable[[int], bytes]")  [return-value]
test.py:17: note: "Bug.__call__" has type "Callable[[], bytes]"
Found 1 error in 1 file (checked 1 source file)

Your Environment

• Mypy version used: 1.8.0
• Mypy command-line flags: --strict test.py
• Mypy configuration options from mypy.ini (and other config files): default mypy, no config
• Python version used: CPython 3.11.6

Non viene indicato alcun file o test del repository. Inizia salvando l'esempio fornito come test.py ed eseguendo mypy --strict test.py; poi traccia il modo in cui mypy tipizza un'istanza di classe il cui call è dichiarato come attributo di slot. Il lavoro è completato quando l'esempio passa senza l'errore relativo al valore restituito incompatibile.