taketo1024

protocol A{} struct S<X> {} extension S: A where X == Int {} extension S: A where X == String {}

Version:

swift-4.1.1-RELEASE

Output:

Error:

/usercode/main.swift:4:14: error: redundant conformance of 'S<X>' to protocol 'A' extension S: A where X == Int {} ^ /usercode/main.swift:5:1: note: 'S<X>' declares conformance to protocol 'A' here extension S: A where X == String {} ^