-
-
Notifications
You must be signed in to change notification settings - Fork 3k
Open
Labels
bugmypy got something wrongmypy got something wrongpriority-0-hightopic-daemondmypydmypytopic-fine-grained-incremental
Description
Consider the following test:
[case testRetargetReexport]
from m import M
def f(x: M) -> None: ...
f(M())
[file m.py]
from n import M
[file m.py.2]
from q import M
[file n.py]
class M: ...
[file q.py]
class M: ...
[out]
==
The daemon fails in step two with the error
Argument 1 to "f" has incompatible type "q.M"; expected "n.M"
Metadata
Metadata
Assignees
Labels
bugmypy got something wrongmypy got something wrongpriority-0-hightopic-daemondmypydmypytopic-fine-grained-incremental