SWIFT类型检查无法决定

2020-08-04 22:57:46

更确切地说,SE-0142和SE-0157的引入使得规范型计算变成了一个不可判定的问题。在提出我的论点之前,我将从必要的背景信息开始,然后概述下一步。规范类型考虑这两个协议,从标准库中的实际实现中剥离出来:协议迭代器协议{关联类型元素}协议序列{关联类型迭代器:迭代器协议关联类型元素...