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.

Bắt đầu bằng cách xác định các đường dẫn của phần phân tích ngữ nghĩa sử dụng .ret_type của getattr để tạo một Var giả khi thiếu thuộc tính. Theo dõi cách một UnboundType có thể đi qua các chu kỳ import, và coi issue là hoàn tất khi kiểu đã được phân tích được sử dụng và các kiểu chưa được phân tích không còn lọt vào các giai đoạn sau hoặc gây ra lỗi crash.