Repository navigation
unreachable false positive when using isinstance on class with __call__ when function parameter uses ParamSpec #16024
Description
from typing import Callable, ParamSpec
P = ParamSpec("P")
class Foo:
def __call__(self) -> None:
...
def foo(fn: Callable[P, None]) -> None:
if isinstance(fn, Foo):
print("reached") # error: Statement is unreachable [unreachable]
foo(Foo())in this example, that line is always reached at runtime
Activity
DetachHead commentedon Sep 5, 2023
minified further:
sterliakov commentedon Jan 16, 2025
Works since v1.11.0, resolved in #17389.