python - mypy がこの拡張代入をエラーと見なすのはなぜですか?

Question

ファイルtest.pyに次のコードがあります。

a = 3.5
a = 4
a = 0.5 * a

b = 3.5
b = 4
b *= 0.5

コンソール出力:

File test.py
    Line 7: Unsupported operand types for * ("int" and "float")

使用した Mypy バージョン: 0.4.4

3行目が正しくて7行目が間違っているのはなぜですか?

後で編集：

この動作は現在、mypy のバグとして分類されています。

https://github.com/python/mypy/issues/2098

そのため、将来的には両方のステートメント シーケンスが mypy に受け入れられることが期待されます。