python中带有pycharm的类型暗示[duplicate]

我今天开始使用暗示。在阅读了关于类型暗示的文档之后,我试着写一些愚蠢的例子来检查它是如何工作的,但我还是停留在了像这样简单的事情上。

a: int = 7.33

我没有收到任何警告或错误。一切都像我没有使用暗示一样。我期待着一个警告,说浮点不能分配给int变量。

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也发现它?