Redundant conformance error using protocol composition

Development Compiler
1

Hi,

protocol A {}
protocol B {}

typealias C = A & B
typealias D = A & B
typealias E = C & D

struct F: E {}

It compiles with errors: Redundant conformance of 'F' to protocol 'A'; Redundant conformance of 'F' to protocol 'B'

Using previous versions of compiler it was working fine (swift 4 - 4.2) but now it isn't. I tried it on compiler with xcode10.2 beta 4 and one of recent development 5.0 snapshots.

Is it expected behaviour with swift 5 compiler?

2

Did you mean a warning?

Which one? I think the newest snapshots are already far ahead Swift 5 and most likely contain Swift 5.1 changes.

If it's a warning then I think it's okay as C and D are type aliases for the exact same protocol composition, but @Slava_Pestov would know better.

3

It's compilation errors. I tried to set everything like "treat warning like errors" to false but it didn't help.
It tried it on swift 5.0 snapshots.

4

We just managed to fix this with [5.1] [Name lookup] Deduplicate nominal declarations found via resolveTypeDeclsToNominal by DougGregor · Pull Request #26177 · apple/swift · GitHub.

Doug

5

If struct F instead conforms to C and D via separate extensions I encounter the redundant conformance error using Swift 5.1.

struct F: C & D { } compiles though. Which seems to be because of the deduplication in the same line.

Is this something in the works?

6

Seems like a regression, : A & A does not produce a warning either.