protocol P{} struct A<T> {} extension A: P where T == Int {} extension A: P where T == String {} // error: redundant conformance of 'A<T>' to protocol 'P'

異なる条件でも同じ protocol への conformance はできないんですね…

‍ (edited)