Avatar
ヨッシャ
12:05 PM
その上で、PWTに乗ってないprotocol extensionの実装を、具体型に則して引いてくる機能は、swiftの∀型にはないのです (edited)
12:06 PM
じゃあどこが違うかと言うと、Existentialの返り値はGenericsな引数に渡せない。が、ORTはGenericsな引数に渡せます。
12:07 PM
だいたいこれで全部、な気がする