Closed
Description
Currently we use mypy 0.720 because it is the last version that supports the "old" semantic analyzer.
The new semantic analyzer creates a few errors that need to be resolved. Some of these errors are actually mypy issues, like python/mypy#7203. Maybe we should wait until these mypy issues are resolved.
After upgrading to a newer mypy version, the setting "new_semantic_analyzer = False" in mypy.ini should be removed.