类型缩小

3 条带有 narrowing 标签的Python 类型规范规则。

• narrowing_typeguard TypeGuard or TypeIs on method with no narrowing parameter
• narrowing_typeis TypeGuard/TypeIs return type incompatibility in callable arguments
• narrowing_typeis_2 TypeIs narrows to a type inconsistent with the input type