ヨッシャ

12:05 PM

その上で、PWTに乗ってないprotocol extensionの実装を、具体型に則して引いてくる機能は、swiftの∀型にはないのです (edited)

12:06 PM

じゃあどこが違うかと言うと、Existentialの返り値はGenericsな引数に渡せない。が、ORTはGenericsな引数に渡せます。

12:07 PM

だいたいこれで全部、な気がする