New semantic analyzer: Namespace package with __init__.py breaks analysis

I'm getting a lot of errors reported that are not errors.

• Classes are reported as invalid types
• Calls to methods are reported as modules not having those attributes
• Instances of classes are reported as modules not callable
• Types passed to, e.g., isinstance are reported as incompatible type Module (suggests that all custom types are treated as type Module)
• Base classes are reported as invalid base classes
• Calls to instances of classes are reported as not having the specified attributes
• Package imports in __init__.py are reported as already defined

I am not sure whether these are issues are caused by the new semantic analyzer or by the Mypy plugin for PyCharm which has not been updated yet.

In comparison, with the new semantic analyzer disabled, there are no errors. The application works correctly.

この issue ではファイルもテストも指定されていません。まず、init.py を含む namespace package を使って報告された false positive を再現し、新しい semantic analyzer と、それを無効にした場合を比較し、PyCharm plugin の違いを考慮してください。再現環境で、一覧にある class、method、instance、inheritance、package import のエラーが報告されなくなれば完了です。