mypy

[mypyc] Remangle names produced by allow-redefinition

#11175

Merged