TypeGuard does not narrow when assignment expression
还没有人认领这个 Issue。
评估
调研方向
从 mypy-play 复现用例开始，检查 guard 包含赋值表达式时 TypeGuard 调用是如何被分析的。使用 main.py 报告的行作为预期的 narrowing 检查；当不支持的操作数错误消失且现有复现用例通过时，即表示完成。
由索引模型根据 Issue 内容生成。
描述
Bug Report
In the example below, is_str is a type guard, but when used mypy fails to narrow the type. I'm pretty sure this happens because of the assignment expression.
To Reproduce
https://mypy-play.net/?mypy=latest&python=3.12&gist=42da00a72ace0a51a5d2335721877591
import typing
s: str | int
def is_str(x: str | int) -> typing.TypeGuard[str]:
return bool(
isinstance(x, str)
and (y if len(y := '123'.split('/')) > 1 else '')
)
if is_str(s):
s + ''
Expected Behavior
No mypy errors.
Actual Behavior
main.py:14: error: Unsupported operand types for + ("int" and "str") [operator]
main.py:14: note: Left operand is of type "str | int"
Found 1 error in 1 file (checked 1 source file)
Your Environment
- Mypy version used: 1.19
- Mypy command-line flags: non
- Mypy configuration options from
mypy.ini(and other config files): non - Python version used: 3.12
- 主要语言
- Python
- 星标
- 20.6k
- 派生
- 3.3k
- 平均合并
- 1 天 18 小时
- 30 天内合并 PR
- 54
贡献指南
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
python/mypy 的其他 Issue
-
bug
难度 2/5 1-3 小时 新手友好度 75/100
-
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
相似的 Issue
-
area/auth bug comp/agent P3 platform/discord type/security
难度 2/5 1-3 小时 新手友好度 88/100
NousResearch/hermes-agent#117848 ·
-
难度 2/5 1-3 小时 新手友好度 74/100
bancolombia/sentinel#23 ·
-
test md 未关闭CI
难度 2/5 1-3 小时 新手友好度 74/100
-
integration:quickjs org:external priority:backlog topic:code-interpreter topic:middleware type:feature
难度 2/5 1-3 小时 新手友好度 74/100
langchain-ai/deepagents#6450 ·
-
bug client
难度 2/5 1-3 小时 新手友好度 88/100