PyCharm和Python 3.6中令人困惑的Mypy类型检查

Question

我试图理解python 3.6中的类型提示。我在mypy plugin中使用PyCharm。我读过PEP484，所以我认为我对类型注释的工作方式有很好的了解。

大多数情况下，功能和方法注释均按预期工作。但是，对各个变量的注释使我怀疑我是否真的了解这个想法。

采用以下示例：

b: Tuple[str, int] = 4
a: Tuple[str, int] = "s", 4

在这里，我期望a通过类型检查，而b没有通过类型检查。不幸的是，mypy却相反：b通过，但a没有通过。

PyCharm的内置类型检查器不指示任何内容，这很奇怪，并且可以按预期使用参数类型以及函数和方法的返回值。

我是否理解错了或者是某种错误？感谢您的帮助。