`allow-redefinition` should perform exhaustive branch analysis

def func(item: int) -> None:
    print(item)
    if True:
        item = "amogus"
    else:
        item = "amogus"     

main.py:3: error: Incompatible types in assignment (expression has type "str", variable has type "int")

In this snipped item is exhaustively redefined to str. I think it would be good if mypy could pick up on that.

まず mypy で例を再現し、分岐解析コード内での allow-redefinition の処理を追跡します。網羅的な if 分岐がどのように表現されているかを特定し、両方の分岐で同一の再定義が受け入れられることを示すカバレッジを追加します。完了条件は、例で互換性のない代入が報告されなくなり、網羅的でないケースではチェックが維持されることです。