In pull request #1413 mypy is behaving differently in CI vs. ./check_ci.sh ./check_ci.sh do not report any problems, but mypy in the CI reports:  It would be nice if the checks could be identical.