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

Keine Datei oder kein Test im Repository ist benannt. Speichere zunächst das bereitgestellte Beispiel als test.py und führe mypy --strict test.py aus; verfolge anschließend, wie mypy eine Klasseninstanz typisiert, deren call als Slot-Attribut deklariert ist. Erledigt ist die Aufgabe, wenn das Beispiel ohne den Fehler wegen eines inkompatiblen Rückgabewerts durchläuft.