[baroffoos]

Linters catch the easy cases but when the problem spans multiple files they have no clue what is going on.

[ShinTakuya]

The mypy type linter performs type checking across files, in many cases even without explicit annotations.