ORTの真の型がSelf に依存しうるから、一律で禁止されているという感じでしょうかね？

8:23 AM

protocolのextensionだけに生やした関数はprotocolのwitness tableに乗らないからexistential経由で呼ぶ場合は常に同じ関数が呼ばれるけど、とはいえその中でSelfを使う可能性があるか (edited)