Enable mypy and disable jedi on PyPy#3075

A5rocks merged 1 commit intopython-trio:mainpython-trio/trio:mainfrom

A5rocks:jedi-and-mypy-on-pypyA5rocks/trio:jedi-and-mypy-on-pypyCopy head branch name to clipboard