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 接受。