Incorrect narrowing of Enum.Flag
まだ誰も着手していません。
評価
調査の方向性
まず、提供された Python スニペットと mypy 設定を使って、報告された Enum.Flag の narrowing の例を再現します。Programs.NONE および Programs.P2 との比較後に実行される narrowing を追跡し、続いて Programs.P1 in programs のようなメンバーシップチェックの回帰テストを追加します。例で unsupported-operand 警告が発生しなくなれば完了です。
索引モデルが issue の本文から書いたものです。
説明
Bug Report
Incorrect narrowing of Enum.Flag
To Reproduce
from enum import Flag, auto
from pathlib import Path
from tempfile import NamedTemporaryFile
def p1(path: str) -> None: ...
def p2(path: str) -> None: ...
def p2_fast(data: str) -> str: ... # type: ignore[empty-body]
def p3(path: str) -> None: ...
class Programs(Flag):
NONE = 0
P1 = auto()
P2 = auto()
P3 = auto()
ALL = P1 | P2 | P3
def f(data: str, programs: Programs) -> str:
if programs == Programs.NONE:
return data
if programs == Programs.P2:
return p2_fast(data)
with NamedTemporaryFile("w", encoding="utf-8", delete=False) as tmp:
tmp.write(data)
tmp.close()
if Programs.P1 in programs:
p1(tmp.name)
if Programs.P3 in programs:
p3(tmp.name)
if Programs.P2 in programs:
p2(tmp.name)
return Path(tmp.name).read_text("utf-8")
Expected Behavior
no warning
Actual Behavior
main.py:32: error: Unsupported operand types for in ("Programs" and "Literal[Programs.P1, Programs.P3, Programs.ALL]") [operator]
Your Environment
- Mypy version used: 2.3.1
- Mypy command-line flags: no
- Mypy configuration options from
mypy.ini(and other config files): no - Python version used: 3.14
- 主要言語
- Python
- スター
- 20.6k
- フォーク
- 3.3k
- 平均マージ
- 1日 12時間
- マージ済み PR(30日)
- 58
コントリビューションガイド
はじめの一歩
- issue を最後まで読み、次にプロジェクトのコントリビューションガイドを読みます。
- 着手することを issue にコメントします — 二人が同じ作業をするのを防げます。
- リポジトリをフォークし、ブランチを切って変更します。
- issue 番号を参照したプルリクエストを送ります。
python/mypy のほかの issue
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 78/100
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 76/100
-
documentation
難易度 2/5 1〜3時間 初心者へのやさしさ 72/100
-
bug topic-configuration topic-error-reporting
難易度 2/5 1〜3時間 初心者へのやさしさ 68/100
-
bug topic-attrs
難易度 2/5 1〜3時間 初心者へのやさしさ 62/100
似ている issue
-
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
anthropics/skills#1811 · コメント 1 件 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
speaches-ai/speaches#678 ·
-
bug
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
datalayer/mcp-compose#42 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 75/100
conda-forge/spacy-feedstock#177 ·
-
難易度 2/5 1〜3時間 初心者へのやさしさ 70/100
UKGovernmentBEIS/inspect_evals#2523 ·