pre-commit is missing typing issues

In some cases, pre-commit misses Python typing issues introduced by the commit. The errors are then caught by the CI that runs the typing checks on all files.