<div dir="ltr"><div><div><div><div><div>So I installed PyQt5.7 from source, producing plentiful Q*.pyi "stub" files.<br><br></div>I have placed copies of these in the default locations, which on my MacOS system is<br><br>/Library/Frameworks/Python.framework/Versions/3.5/lib/python3.5/site-packages/PyQt5<br><br></div>I have also copied them into the mypy distribution, at<br><br>/Library/Frameworks/Python.framework/Versions/3.5/lib/mypy/typeshed/third_party/3/PyQt5<br><br></div>And also in a separate folder named "stubs" the path to which is stored in the environment variable MYPYPATH.<br><br></div>Despite this redundant redundancy, when I apply mypy to a module that imports PyQt5.QtCore it says,<br><br>    display.py:96: error: No library stub file for module 'PyQt5.QtCore'<br>    display.py:96: note: (Stub files are from <a href="https://github.com/python/typeshed">https://github.com/python/typeshed</a>)<br><br></div>Any suggestions are most welcome...<br><br></div>