为什么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都可以接受这两个语句序列。