-
-
Notifications
You must be signed in to change notification settings - Fork 3k
Closed
Labels
bugmypy got something wrongmypy got something wrongfalse-positivemypy gave an error on correct codemypy gave an error on correct codepriority-0-hightopic-fine-grained-incremental
Description
This fine-grained incremental mode test case fails, probably because of missing dependencies to __call__
:
[case testDunderCall]
from a import C
c = C()
c(1)
[file a.py]
class C:
def __call__(self, x: int) -> None: ...
[file a.py.2]
class C:
def __call__(self, x: str) -> None: ...
[out]
==
main:4: error: Argument 1 to "__call__" of "C" has incompatible type "int"; expected "str"
No error is currently reported when running the test case.
Metadata
Metadata
Assignees
Labels
bugmypy got something wrongmypy got something wrongfalse-positivemypy gave an error on correct codemypy gave an error on correct codepriority-0-hightopic-fine-grained-incremental