py-pytest-mypy is a stub port
