cond. conf. で protocol を二つ以上上がれない問題は、継承の順序通りに書けばいけることが分かりました。 @swiftbot

protocol A { } protocol B: A { } protocol C: B { } struct X<T>: A { } // extension X: C where T: Equatable { } // これだとエラー extension X: B, C where T: Equatable { } // これなら OK

(edited)