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.

Mở PEP 526 và xem lại phần “Runtime Effects of Type Annotations”, đặc biệt là ví dụ về annotation ở cấp module và output được hiển thị. Xác nhận hành vi name-mangling dựa trên ví dụ, sau đó cập nhật code hoặc output để chúng nhất quán với nhau và vẫn thể hiện rõ mangling ở cấp class. Hoàn tất khi PEP đã render không còn đưa ra các kết quả mâu thuẫn.