Shantanu

@ilevkivskyi there is some interaction with `--new-type-inference` on sirosen's case, but it looks like it has changed since I posted my comment. The difference is from before and after #15754....

~https://github.com/mongodb/mongo-python-driver reported a couple typeshed regressions~

~https://github.com/artigraph/artigraph could have caught a mypy regression~ ~https://github.com/MaterializeInc/materialize~

~https://github.com/enthought/comtypes~

https://github.com/trezor/trezor-firmware once next mypy release is out

Maybe some of the projects that are now referring to https://github.com/python/mypy/issues/731

https://github.com/scikit-hep/pyhf would catch https://github.com/python/mypy/issues/13813

If we want more coverage of sci code, can look at outlinks from https://github.com/python/mypy/issues/13627

~https://github.com/mit-ll-responsible-ai/hydra-zen~ https://github.com/sqlalchemy/sqlalchemy (even without plugin)

Thanks for the suggestion! I think I'd prefer to try to stick to type checking projects as they type check themselves for the per-project dependencies. The good news though is...