> This is literally what mypy does. Kinda silly that this is optional tooling that came from the community to solve a problem in the original implementation.

> This is literally what mypy does. Kinda silly that this is optional tooling that came from the community to solve a problem in the original implementation. Sure, having a community and general inertia, because Python is simply good enough and no alternative has a killer feature, is certainly something you can rely on. It's okay to ask for more, though.