Mypy, Pytype, Pyright, and Pyre can help you keep your type-hinted Python code bug-free ... Pytype attempts to determine types by analyzing code flow, rather than relying strictly on type annotations.

Python, for all its power and popularity, has long lacked a form of flow control found in other languages ... matching is to match patterns of types, rather than patterns of values.