Wrong type inferred for a name conflicting with a module name in an import cycle

The following is a failing test case which demonstrates the issue. In runtime, the type of a that is printed is str, however mypy reveals the type _importlib_modulespec.ModuleType.

[case testImportCycleWithOverriddenName]
# flags: --strict --no-incremental
import package

[file package/__init__.py]
a = 'a from __init__'
from .b import B

[file package/a.py]

[file package/b.py]
from . import a
class B: pass
print(type(a))
reveal_type(a)

[out]
package/b.py:4: note: Revealed type is 'builtins.str'

Note that if the two lines in __init__.py are swapped, the runtime type is indeed ModuleType.

I did not look at the code, but my uneducated guess is that the current "state" of __init__.py is not consulted when the from . import a in b.py is processed. This can probably be reduced further.

• mypy 0.720
• Python 3.7.4

Spawned from issue #7393.

用意されている testImportCycleWithOverriddenName ケースから始め、--strict --no-incremental を付けて実行します。package/init.py、package/a.py、package/b.py を比較し、特に import の順序と from . import a 文を確認します。init.py の 2 行を入れ替えた場合も ModuleType の結果を維持しながら、reveal_type(a) が builtins.str を報告すれば完了です。