Mypy cannot find the Coverage type from version `7.2.0`

[lucas-bremond]

Describe the bug

Mypy complains about not being able to find the Coverage attribute from the coverage module.

To Reproduce

Following the documentation:

import coverage

cov = coverage.Coverage()

and applying mypy leads to the following error:

error: "Module coverage" does not explicitly export attribute "Coverage"  [attr-defined]

However, doing:

import coverage

cov = coverage.control.Coverage()

works fine.

Expected behavior

Mypy should not complain about the type when Coverage objects are used according to the documentation.

Additional context

This problem appeared starting 7.2.0 (using 7.1.0 works fine).

[nedbat]

Thanks, clearly I don't fully understand typechecking yet! I think I've fixed it. Can you install this and give it a try?

pip install git+https://github.com/nedbat/coveragepy@nedbat/fix-1564#egg=coverage==0.0

[nedbat]

This is fixed in c3a3421.

[nedbat]

This is now released as part of coverage 7.2.1.