False positive in case of custom __setattr__ that changes the type of the attribute

Bug Report

I have a class with a custom __setattr__(self, attr, value:TYPE). This method converts value to another type.
I am getting false positives, since mypy assumes that for each particular TYPE, type(getattr(obj, attr)) == TYPE.

To Reproduce
Minimal code example:

from typing import *

class Context:
    def __setattr__(self, attr:str, value:Any):
        super().__setattr__(attr, str(value))

ctx = Context()
ctx.a = 10
print(len(ctx.a))

Actual Behavior

mypy output

....py:9: error: "Context" has no attribute "a"
....py:9: error: Argument 1 to "len" has incompatible type "int"; expected "Sized"

I would like to tell mypy that for this class, it mustn't assume that type(getattr(ctx, "a")) == type(10) .

Your Environment

• mypy 0.961 (compiled: yes) on Ubuntu Linux (Jupyter Docker image)
• Python 3.8.10 (Anaconda)

まず最小限の Context 例を mypy で実行し、報告されたエラーを issue に記載された期待される動作と比較します。カスタム setattr と推論された属性について、型チェックの経路を追跡します。完了の条件は、例で変換された属性型に対する誤検出が発生しなくなることです。