うむ。さっき思ったんだけど、

6:55 AM

Protocolの全ての機能 { contravariance Self associatedtype Existentialを作れる範囲の機能{ extension contravariant Self Existentialに対して呼び出せる機能 { covariance Self (init, static func) ExistentialがSelf conformできる範囲の機能{ func requirement } } } }

(edited)

6:55 AM

こういうことかなあと

6:59 AM

で、そのスレッドで提案しているのは、これを

6:59 AM

Protocolの全ての機能 { Existentialを作れる範囲の機能{ contravariance Self associatedtype extension contravariant Self Existentialに対して呼び出せる機能 { covariance Self (init, static func) ExistentialがSelf conformできる範囲の機能{ func requirement } } } }

6:59 AM

こう変更しようってことかなと