Some modules cannot be found with mypy. And cannot be silenced/skipped by mypy.

Have the following 3 files:

##############################
# example1.py
from asyncio import BaseEventLoop  # Module 'asyncio' has no attribute 'BaseEventLoop'
from asyncio import Semaphore  # OK
import aiostream  # gets skipped correctly
import asyncio  # OK
asyncio.windows_events.WindowsProactorEventLoopPolicy()  # Module has no attribute 'windows_events'
asyncio.WindowsProactorEventLoopPolicy()  # Module has no attribute 'WindowsProactorEventLoopPolicy'

##############################
# mypy.ini
[mypy]
python_version = 3.7

[mypy-asyncio,aiostream]
follow_imports = skip
ignore_missing_imports = True

##############################
# Pipfile
[[source]]
url = "https://pypi.org/simple"
verify_ssl = true
name = "pypi"

[dev-packages]

[packages]
mypy = "==0.670"
aiostream = "==0.3.1"

[requires]
python_version = "3.7"

##############################
$> pipenv install
#...
$> pipenv run python -m mypy --config-file mypy.ini example1.py
example1.py:1: error: Module 'asyncio' has no attribute 'BaseEventLoop'
example1.py:5: error: Module has no attribute "windows_events"
example1.py:6: error: Module has no attribute "WindowsProactorEventLoopPolicy"


Why Semaphore (and others) works and BaseEventLoop (among others) doesn't work... no idea.
But it completely breaks mypy that it somehow cannot be skipped nor silenced.

I've created a similar ticket on mypy side: https://github.com/python/mypy/issues/6383 as I'm not sure where this belongs to.

Thanks for the report. mypy is not part of stdlib and it seems that typeshed doesn't have BaseEventLoop defined in asyncio.__init__.pyi [0] . Adding it to the import removes the error . I guess this needs to be filed in typeshed. There is an issue open for missing asyncio top level functions at https://github.com/python/typeshed/issues/2313 . I would propose closing this as third party. I am adding mypy devs as a confirmation and to follow up the issue with typeshed for updating stub files.


[0] https://github.com/python/typeshed/blob/b3aac58db01c6bdc63452066bd9cd5f761e79044/stdlib/3/asyncio/__init__.pyi#L101

This is not a Python issue, this should be reported on typeshed tracker (but likely a duplicate of the issue mentioned by Karthikeyan).