BaseExceptionGroup should return ExceptionGroup if initialized with non-base exceptions
未关闭
还没有人认领这个 Issue。
stubs: false positive
- 主要语言
- Python
- 星标
- 5.1k
- 派生
- 2.1k
- 平均合并
- 1 天 19 小时
- 30 天内合并 PR
- 82
描述
When initializing a BaseExceptionGroup with non-base exceptions the stdlib (and the backport) will in fact return an ExceptionGroup. The typing in neither of typeshed nor the backport currently supports this.
from typing_extensions import reveal_type
x = BaseExceptionGroup('', [ValueError()])
reveal_type(x)
$ python foo.py
Runtime type is 'ExceptionGroup'
$ mypy foo.py
foo.py:30: note: Revealed type is "builtins.BaseExceptionGroup[builtins.ValueError]"
$ pyright foo.py
foo.py
foo.py:30:13 - information: Type of "x" is "BaseExceptionGroup[ValueError]"
I have vague recollections that trying to do this was hard-to-impossible, but I currently cannot find any related issues.
贡献指南
从这里开始
- 先读完整个 Issue,再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库,在一个分支上完成修改。
- 提交 Pull Request,并在描述里引用这个 Issue 编号。
调研方向
首先定位 typeshed 和 backport 中的 BaseExceptionGroup 定义,然后将它们的构造函数类型标注与 issue 中展示的运行时行为进行比较。使用 mypy 和 pyright 检查示例;当只传入非基础异常时,两个类型检查器都能推断出 ExceptionGroup[ValueError],即表示完成。
由索引模型根据 Issue 内容生成。
评估
- 技术栈
- python
- 领域
- tooling
- Issue 类型
- 缺陷
- 难度
- 4/5
- 预计耗时
- 3-5 天
- 活跃度
- 停滞
- 描述清晰度
- 基本清楚
- 新手友好度
- 42/100