Is your feature request related to a problem? Please describe.
PyCharm is one of the more mature python IDEs out there in terms of static type analysis, but sometimes it fails to infer types on some circumstances, generic descriptors for example, get resolved to their generic typevar T instead of the value it generalizes, amongst other things.
MyPy will correctly handle more complex type inference cases (including generic descriptors), and given that at the end, MyPy will decide if your project passes the test suites or not (assuming you use it as a linter), it would make sense to gather type information from mypy instead of having a different logic doing the same job twice.
Describe the solution you'd like
If possible, type information could be gathered from mypy cache files, and then presented to the user similar to how the Python Community Edition for idea does it.
Is your feature request related to a problem? Please describe. PyCharm is one of the more mature python IDEs out there in terms of static type analysis, but sometimes it fails to infer types on some circumstances, generic descriptors for example, get resolved to their generic typevar
T
instead of the value it generalizes, amongst other things. MyPy will correctly handle more complex type inference cases (including generic descriptors), and given that at the end, MyPy will decide if your project passes the test suites or not (assuming you use it as a linter), it would make sense to gather type information from mypy instead of having a different logic doing the same job twice.Describe the solution you'd like If possible, type information could be gathered from mypy cache files, and then presented to the user similar to how the Python Community Edition for idea does it.