On Thu, Mar 16, 2023 at 2:30 PM Daniel Latypov <dlatypov@xxxxxxxxxx> 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@xxxxxxxxxx/ 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
