Type checking not working as expected?

This line of code:

s: List[int] = [1, 's', 2]

raises an error with mypy:

error: List item 1 has incompatible type "str"; expected "int"

But no warning on pycharm editor. Is that normal?

Environment: Pycharm Professional 2020.3 on windows 10