As a better solution, PEP 484 states that a top-level def __getattr__(name) -> Any: ... in a stub should mean that the stub is incomplete. (I'd completely forgotten about this, sorry.) See also #5. I don't think mypy currently supports this, and I can't find an existing issue for that, so I propose we should open an issue there.

python/typeshed#708