They added a "run" method in 3.5. Because this stub is out of date, mypy doesn't know about this "run" method.