Comment by davidfstr

mypy is compiled using mypyc. It does not run as Python code.