[_flux]

Seems though mypy/pyright/pyre/pyrefly or the future ty could bridge the gap, if one is writing typed python?

[greatgib]

The big question will be to know if tools will still be fast once they will have added the tests that are missing.