On Thu, Mar 16, 2023 at 2:30 PM Daniel Latypov dlatypov@google.com wrote:
I do find the whole type-checking, if occasionally a bit painful, to be of benefit though, at least for larger code bases (and by larger I think I probably would say "more than a single file that you can keep in your head entirely" :-)
100% agree, just the concern is about trying to keep two different checkers happy when they might have conflicting demands. Pytype has been able to catch some relatively subtle errors, so I've prioritized it.
Actually, I've gotten both pytype and `mypy --strict` happy now: https://lore.kernel.org/linux-kselftest/20230316220638.983743-3-dlatypov@goo...
That patch also updates kunit/run_checks.py so hopefully we can keep `mypy --strict` happy going forward too.
Here's to safer python, Daniel