Should __module__ be defined as class attribute?

[dvarrazzo]

Ref.

typeshed/stdlib/builtins.pyi

Line 98 in 58f2a79

__module__: str

This results in mypyc raising an error upon code accessing obj.__class__.__module__, which I believe is the canonical way to get the attribute. See mypyc/mypyc#1055

Note that Cython doesn't define obj.__module__, therefore it makes difficult to write portable code.

[AlexWaygood]

See #8787 and #8789 for previous discussion

[srittau]

Maybe we could revisit #8789? Seems like a mypy problem that may or may not be fixed in the meantime, but should probably be fixed in any case.

[AlexWaygood]

Yeah I'm definitely open to revisiting either #8787 or #8789! The current stubs are incorrect, for sure.