Use analyzed type when resolving attributes via __getattr__

Currently, there are several places in code where mypy uses .ret_type of __getattr__ function during semantic analysis to create a dummy Var if the attribute is missing. This can result in type being in unanalyzed state (UnboundType) in certain conditions (for example an import cycle) which then leaks to later stages where it can cause weird errors, and potentially even crashes.

This is especially important now, since __getattr__ can be used also outside stubs.

まず、属性がない場合にダミーの Var を作成するために getattr の .ret_type を使用している意味解析のコードパスを特定します。UnboundType がインポートサイクルを通過する可能性を追跡し、解析済みの型が使用され、未解析の型が後続のステージに漏れたりクラッシュを引き起こしたりしなくなった時点で issue 完了とします。