conditional conformance は protocol を一気に二つ上がるとエラーになるっぽいです（？）

protocol A { } protocol B: A { } protocol C: B { } struct X<T>: A { } extension X: C where T: Equatable { } // error X<T> does not conform to protocol 'B'

protocol A { } protocol B: A { } protocol C: B { } struct X<T>: A { } extension X: B where T: Equatable { } // これを入れる extension X: C where T: Equatable { } // OK

(edited)