test.py ```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 ```py def foo() -> None: ...