mypy

4e2f4ff0 - semanal: fix module_public in the presence of getattr (#11411)