Bug Report

I am currently working on encode/starlette#1987 where I'm defining a type hint for an argument that can take either a type of a class having a __call__ method, or a callable returning another callable. That is, both definitions work:

class ASGIMiddleware:
    def __init__(app: ASGIApp, p0: str, p1: int) -> None:
        ...
    async def __call__(self, scope, receive, send) -> None:
        ...
# or
def asgi_middleware(app, p0: str, p1: int) -> ASGIApp:
    async def _asgi(scope, receive, send) -> None:
        ...
    return _asgi

I was told that the following protocol would support both:

class MiddlewareType(Protocol):
    def __call__(self, app: ASGIApp, **options: Any) -> ASGIApp:
        ...

With the class definition, the __init__ method is checked against the __call__ method of MiddlewareType, and with the callable definition, well it is checked against the __call__ method naturally. I was surprised to see that mypy supported the first case, as it was unclear to me what was the correct definition of a callable (in fact, definitions differ in docs):

• https://docs.python.org/3/library/functions.html#callable

Return True if the object argument appears callable, False if not. If this returns True, it is still possible that a call fails, but if it is False, calling object will never succeed. Note that classes are callable (calling a class returns a new instance); instances are callable if their class has a __call__() method.

• https://docs.python.org/3/library/typing.html#typing.Callable

Callable type; Callable[[int], str] is a function of (int) -> str.

• https://docs.python.org/3/library/collections.abc.html#collections.abc.Callable

ABC for classes that provide the __call__() method.

Now if this behaviour is supported by mypy, maybe this could be clarified in this part of the docs?

I've made this issue a bug report as I'm still struggling to have the MiddlewareType type working, as **options: typing.Any doesn't seem to catch the args/kwargs following app: ASGIApp.

See this mypy-play example:

https://mypy-play.net/?mypy=0.991&python=3.11&gist=49f042e0c90bdaf202e519bd1467ce3a (works on 0.991)
https://mypy-play.net/?mypy=1.1.1&python=3.11&gist=6c7629c60546af1490ba092821564d63 (doesn't work since 1.0.0)

The last example is also returning a misleading error message:

main.py:24: note: Following member(s) of "ExampleMiddleware" have conflicts:
main.py:24: note:     Expected:
main.py:24: note:         def __call__(app: int, **options: Any) -> Callable[[str], None]
main.py:24: note:     Got:
main.py:24: note:         def __call__(self: ExampleMiddleware, el: str) -> None  # should be: def __init__(self, app: int, other_arg: Any) -> None:

Your Environment

• Mypy version used: 0.991 / > 1.0.0
• Mypy command-line flags: None
• Mypy configuration options from mypy.ini (and other config files):
• Python version used: 3.9 / 3.10 / 3.11