Incorrect narrowing of Enum.Flag
还没有人认领这个 Issue。
评估
调研方向
首先,使用提供的 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 天 3 小时
- 30 天内合并 PR
- 59
贡献指南
从这里开始
- 先读完整个 Issue,再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库,在一个分支上完成修改。
- 提交 Pull Request,并在描述里引用这个 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 ·