Description

In our testing, mypy appears to treat code like this as an implicit re-export. If --no-implicit-reexport is given, mypy will disallow it.

from X import Y as Z  # Non-matching name.

Even though it treats code like this as an explicit re-export:

from X import Y as Y  # Matching name.

For stub files specifically, PEP 484 has this note, emphasis mine:

Modules and variables imported into the stub are not considered exported from the stub unless the import uses the import ... as ... form or the equivalent from ... import ... as ... form. (UPDATE: To clarify, the intention here is that only names imported using the form X as X will be exported, i.e. the name before and after as must be the same.)

I am therefore assuming that this mypy behavior is intentional. (Even though I find it unfortunate and surprising, and even though --no-implicit-reexport seems meant for more than just stub files.) So this PR documents it.

Test Plan

• Verify that the rendered docs look good:
• If anyone can authoritatively confirm that this is indeed intended behavior of --no-implicit-reexport, that would be helpful.