类型提示在 pycharm 2018.1 中并不总是有效？

Question

我今天开始使用类型提示。在阅读了有关类型提示的文档后，我尝试编写一些愚蠢的示例来检查它是如何工作的，但被困在像这样简单的事情上。

a: int = 7.33

我没有收到任何警告或错误。一切都正常，就像我没有使用类型提示一样。我期待着一个警告，说浮点数不能分配给 int var。

我尝试过其他事情，例如：

def sum_two_numbers(a:int , b:int)->int:
    return a+b

def main() -> None:
    asd = sum_two_numbers(2, 5.4)

正如预期的那样，我在 5.4 号中收到了警告。 Pycharm 警告我传递的浮点数应该是 int。

那么，这里发生了什么？

编辑：我已经尝试过 mypy，它正确地检测到我之前提到的问题。有没有办法让pycharm也检测到它？

干杯。

Answer 1

不幸的是，PyCharm 不检查变量赋值的类型。请投票给

PY-24832。