python - mypy 没有检测到基本类型错误

Question

使用 python 3.5.1。以及当前使用 git 安装的 mypy，mypy 标记错误 1 ​​和 2，但不报告错误 3

我做错了什么，或者这是一个错误，还是一个已知问题？

import typing

def test_ordered_dict(od: typing.Dict[str,int]) -> typing.Dict[str,int]:
    return 1   #type error 1

a = test_ordered_dict(1)   #type error 2

def test_me():
    a = test_ordered_dict(1)  # type error 3 is not reported

Answer 1

我的理解来自docs是 mypy 只会检查一个东西(模块、函数等)，如果它指示它应该检查它(通过在模块级别导入类型或通过注释函数)。

所以 1 被选中是因为它在一个类型化的函数中，2 被选中是因为导入类型表明你的模块是类型化的并且它在模块范围内，但 3 在非类型化函数的范围内所以它被忽略。