SWIFT类型检查无法决定

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