Python 3.5 联合[Decimal，int]与十进制不兼容？

考虑到以下方案：

from decimal import Decimal
from typing import Union

def foo(bar: Union[Decimal, int]):
    print(Decimal(1) + bar)
    print(bar + Decimal(1))

为什么

mypy

在第二次打印（）时抱怨

我在Python3.5.1和Ubuntu16.04上使用MyPy0.3.1

---

编辑：这似乎是一个错误。

也许它没有正确处理使用

\uuuu radd\uuuu

的可能性。你是说一个错误？decimal类型的存根在这里：可能，这肯定不是我所期望的行为。你试过把它作为一个问题提出来吗？好的，我会的，谢谢！

$ mypy foo.py
foo.py: note: In function "foo":
foo.py:6: error: Unsupported operand types for + ("Union[Decimal, int]" and "Decimal")