Incompatible return value type `type[Enum]` when returning a functional-style Enum
オープン
まだ誰も着手していません。
bug
topic-enum
- 主要言語
- Python
- スター
- 20.6k
- フォーク
- 3.3k
- PR マージ指標
- PR 指標を取得中
説明
Bug Report
When returning a functional-style Enum class from a function with the return type type[Enum] mypy reports an error.
When the created Enum class is assigned to a variable and the variable is return, mypy does not report an error.
To Reproduce
from enum import Enum
def direct_return() -> type[Enum]:
return Enum("direct", {"a": 0}) # error: Incompatible return value type (got "Enum", expected "type[Enum]") [return-value]
def indirect_return() -> type[Enum]:
indirect = Enum("indirect", {"a": 0})
return indirect # no error as expected
Expected Behavior
no mypy warnings
Actual Behavior
main.py:4: error: Incompatible return value type (got "Enum", expected "type[Enum]") [return-value]
Your Environment
- Mypy version used:
1.9.0andmasteron mypy-play.net - Mypy command-line flags: mypy-play.net defaults
- Mypy configuration options from
mypy.ini(and other config files): mypy-play.net defaults - Python version used:
3.12
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
調査の方向性
まず、リンクされた playground の動作を参照しながら、mypy 1.9.0 または master で direct_return と indirect_return の例を再現します。次に、機能スタイルの Enum 呼び出しが type checker でどのように推論されるかを追跡し、両方の関数が警告なしで戻ることを示す回帰テストを追加します。
索引モデルが issue の本文から書いたものです。
評価
- 技術スタック
- python
- 領域
- devtools
- issue の種類
- バグ
- 難易度
- 3/5
- 見積もり時間
- 1〜2日
- 活発さ
- 停滞
- 明瞭さ
- おおむね明確
- 初心者へのやさしさ
- 48/100