我正在寻找一个 Python linter，它可以根据代码中的类型提示检查类型使用情况。
目的是运行单一检查以验证样式、逻辑和类型错误。
我需要在 CI 服务器上运行它，并在开发过程中作为文件观察者。
例如，我需要此代码来输出错误以传递错误的类型参数 -
def double(x: int):
return x * 2
result = double('hello')
我检查了 PyLint 和 flake8 的文档，但找不到任何对类型检查的支持。
使用 PyLint，我还验证了检查上述代码时没有错误。