basedmypy
basedmypy copied to clipboard
Modules don't really conform to `protocol`s
test.py
from typing import Protocol
import test2
class P(Protocol):
def foo(self) -> None: ...
a: P = test2
reveal_type(type(a).foo) # Revealed type is "def (self: test.P) -> None"
test2.py
def foo() -> None: ...
upstream: https://github.com/python/mypy/issues/16890