I believe this is different than https://github.com/python/mypy/issues/2135. In this case, if I have a star import like... #a.py import * from b import * from c #b.py from .x import y #c.py from .x import z I get a "Name 'x' is already defined" error. But the name x is not exported by b or c.