是否有根据类型提示检查类型的 python linter？

Question

I'm looking for a Python linter, that can check types usage according to the type hints in the code.
The purpose is to run a single check that verifies style, logic, and type errors.
I need to run this on CI server, and as a file watcher during development.
For example, I need this code to output an error for passing the wrong type argument -

def double(x: int):
    return x * 2


result = double('hello')

I've checked the documentation of PyLint and flake8, and couldn't find any support for type checking.
With PyLint I also verified there are no errors when checking the above code.

Answer 1

Yes, there is, it's called mypy