Использует ли PyCharm Mypy или JetBrains реализовал PEP 484 отдельно?
Похоже, что они пошли со своей собственной реализацией.
В конечном счете, я бы предположил, используют ли они вместо этого другую библиотеку с открытым исходным кодом или нет;пока они поддерживают его , их выбор реализации не имеет значения.