+ mypy-check --no-strict-optional --follow-imports=silent --py2 --strict asdl/__init__.py asdl/asdl_main.py asdl/ast.py asdl/front_end.py asdl/gen_cpp.py asdl/gen_python.py asdl/metrics.py asdl/util.py asdl/visitor.py
+ local MYPY_WEDGE=/home/uke/oil/../oils.DEPS/wedge/mypy/0.780
+ local site_packages=lib/python3.10/site-packages
+ local PY3_LIBS_WEDGE=/home/uke/oil/../oils.DEPS/wedge/py3-libs/2023-03-04/lib/python3.10/site-packages
+ local pypath=.:/home/uke/oil/../oils.DEPS/wedge/mypy/0.780:/home/uke/oil/../oils.DEPS/wedge/py3-libs/2023-03-04/lib/python3.10/site-packages
+ PYTHONPATH=.:/home/uke/oil/../oils.DEPS/wedge/mypy/0.780:/home/uke/oil/../oils.DEPS/wedge/py3-libs/2023-03-04/lib/python3.10/site-packages
+ MYPYPATH=/home/uke/oil/../oils.DEPS/wedge/mypy/0.780
+ python3 -m mypy --no-strict-optional --follow-imports=silent --py2 --strict asdl/__init__.py asdl/asdl_main.py asdl/ast.py asdl/front_end.py asdl/gen_cpp.py asdl/gen_python.py asdl/metrics.py asdl/util.py asdl/visitor.py
Success: no issues found in 9 source files