From HypothesisWorks/hypothesis#2017, passing --no-implicit-reexport with Mypy 0.710 causes error: Module 'hypothesis' has no attribute 'given' - except that it does, and given is listed in the __all__ attribute.

IMO when __all__ is present only those names should be considered explicitly re-exported, though taking the union of those and the from-import-x-as-x form would be reasonable too. Ignoring __all__ is pretty weird though!