6:04 AM
これ報告したのについたコメント見る限り、コアチームとしては「protocolはprotocolに準拠できない」が正だという認識を持ってそう (edited)
6:06 AM
↑のGeneralized existentialに習うと、
6:06 AM
シンプルだろうが一般だろうがprotocolの存在型を示すときに