#4551·ty

枚举类被通用联合拒绝

作者: kalekseev创建于 2026年9月18日更新于 2026年9月18日

页:1

ty 0.0.82拒绝这个电话。 ty 0.0.81和Pyright 1.1.410 接受.

zz
从收藏中导入。
从 enum 导入 Enum

类选择( Enum) :
= "a" (中文(简体) ).

def 接受  choices [T](选择:可执行性[tuple [T, str]]] QQ 类型 [enum] - > 无:
通过

接受 选择(选择)

页:1 错误[[无效-辩证类型](https://ty.dev/rules#invalid-辩证类型]]:函数`接受-选择'的参数不正确 -- > a.py:18:17 | 18 QQ 接受 选择( 选择) QQ 期望的“ 不可耗用 [tuple [unknown, st]] ” , 找到 QQ 类“ 选择 ” 。 信息: QQ类“ 选择 ” 无法指派给协议“ 不可转让 ” [tul [unknown, str]] 。 信息: QQ协议成员 QQiter 是不相容的 信息:QQ不相容返回类型:Iterator[Choice]'不能被指定给Iterator[tul [unknown,str]' 信息:QQ 协议Iterator[Choice]'不能转让给协议Iterator[tul [unknown,str]]' 信息: QQ 协议成员 QQnext 是不相容的 信息:QQ不相容的返回类型:Choice'不能指定为tul[未知,str]' 信息: 在此定义的函数 -- > a.py:14:5 | 14 | def 接受 choices [T](选择:可执行 [tuple [T, str]]) | [Enum] - > 无: | ------------------------------------------------------------------------------------------------------------------------------ -- 在此声明参数


期望:通过工会分会接受 " 选择 " 。 诊断中没有这个分支。

用`str'来代替`T',或用`default=str'来代替`TypeVar',避免错误。
这还影响到Django的实地申报,其中“选择”或“选择”是“选择”。


翻译:

ty 0.0.82 (6999edb88 2026-09-17) (英语)