Support `enum.global_enum`

Feature

Mypy should support module-level constants defined by enum.global_enum.

Pitch

enum.global_enum adds an enum’s members to the global namespace. Mypy reports errors for any use of global constants defined that way. It would make enum_global much more usable if mypy recognized them as defined.

Example file:

import enum

@enum.global_enum
class Example(enum.Enum):
    X = enum.auto()

print(X)

Current behavior:

$ python3.11 global_enum.py
X
$ mypy global_enum.py
global_enum.py:7: error: Name "X" is not defined  [name-defined]
Found 1 error in 1 file (checked 1 source file)

まず、提供されている global_enum.py の例を Python と mypy で実行し、次に mypy が enum デコレーターとモジュールレベルの名前束縛をどのように処理しているかを追跡します。enum.global_enum によってエクスポートされる名前のサポートを追加し、その例で name-defined エラーが報告されなくなったことを確認するとともに、このケースのリグレッションテストを追加します。