Closed
Description
given:
folder/
├─ src/
│ ├─ __init__.py
│ ├─ thing.py
├─ test.py
src/__init__.py:
from src.thing import Thing as Thingsrc/thing.py:
class Thing(asdf): ...test.py:
from src import Thing> mypy -V
mypy 0.920+dev.1393e3fec49a9505fd3a31f3406ddd4e2e1c54b8
> mypy --strict test.py
src/thing.py:1: error: Name "asdf" is not defined
src/Thing.py:1: error: Name "asdf" is not definedEdit:
This is observed with WSL on the windows file system and not WSL on the Linux fs