PEP 827：类型操作

由于泛型函数的存在，类型运算符的评估可能会受到影响，因为它们应用于未解析的类型变量。在mypy的概念验证实现中，类型评估保持不变，依然执行子类型检查，检查运算符和操作数的匹配情况。