Closed
Description
$ cat module.py
from types import ModuleType
import os
def takes_module(mod: ModuleType) -> None:
pass
takes_module(os)
$ python3.6 -m mypy module.py
module.py:6: error: Argument 1 to "takes_module" has incompatible type "module"; expected "ModuleType"
mypy may need to learn that types.ModuleType
is the same as module
. This came up in #2910.
Metadata
Metadata
Assignees
Labels
No labels