PEP 526: Name mangling doesn't take place inside the body of a module

Hi,
In PEP 526, there is a section called "Runtime Effects of Type Annotations" which has the following code:

from typing import Dict
class Player:
    ...
players: Dict[str, Player]
__points: int

print(__annotations__)
# prints: {'players': typing.Dict[str, __main__.Player],
#          '_Player__points': <class 'int'>}

The code and the output don't match.
Name mangling only happens inside the body of the class not module. So the correct output would be:

{'players': typing.Dict[str, __main__.Player], '__points': <class 'int'>}

If we want to see the effect of name mangling we could have something like:

from typing import Dict

class Player:
    __points: int

players: Dict[str, Player]
print(__annotations__)
print(Player.__annotations__)

Or have the print(__annotations__) inside the class:

from typing import Dict

class Player:
    __points: int
    print(__annotations__)

players: Dict[str, Player]
print(__annotations__)

That would be a quick fix if you confirm.

Ouvrez PEP 526 et examinez la section “Runtime Effects of Type Annotations”, en particulier son exemple d’annotation au niveau du module et la sortie affichée. Confirmez le comportement de name-mangling par rapport à l’exemple, puis mettez à jour le code ou la sortie afin qu’ils concordent et conservent une démonstration claire du mangling au niveau de la classe. La tâche est terminée lorsque le PEP rendu ne présente plus de résultats contradictoires.