Should __init__.py imports be treated as exports with --no-implicit-reexport behaviour?

I'm uncertain whether --no-implicit-reexport has a "correct" behaviour when it comes to __init.py__ files.

If I have this __init__.py file:

from .mysub import MyName

My intent is to export MyName from the module. Currently this does not work however, and I need to do either:

from .mysub import MyName as MyName

or

from .mysub import MyName
__all__ = ['MyName']

Both of which are redundant.

I saw this issue on stub-generation that seems to imply that imports in an init (or otherwise unused imports) should be considered exports.

Shouldn't --no-implicit-reexport treat init files as doing exports for the module without the code having to use the redundant ...as... or __all__ form?

El issue no menciona archivos ni tests del repositorio. Empieza por localizar la implementación y los tests de --no-implicit-reexport; después revisa el issue enlazado sobre la generación de stubs y los ejemplos de init.py; el trabajo se considera terminado cuando se haya establecido e implementado una regla decidida sobre si dichas importaciones son exportaciones sin sintaxis redundante.