特殊类型

4 条带有 specialtypes 标签的Python 类型规范规则。

• specialtypes_never -> NoReturn / -> Never function can fall through
• specialtypes_never_2 Never type compatibility violations
• specialtypes_promotions Access to an int-only attribute on a float-typed parameter
• specialtypes_type Invalid typeX usage violations