superlint/test/linters/python_mypy/python_good_1.py