duplicates:

• SR-1222 A tuple of Equatable types should be Equatable

Issue Description:

With the introduction of conditional conformance, this remains the last issue to finally get to a point where we don't need to implement Equatable manually.

Consider this:

enum B: Equatable {
    case b1([(String, String)])
}

The error you get is (which I also filed SR-6801 for):

error: type 'B' does not conform to protocol 'Equatable'

I would expect this to work.

Fortunately we do have a temporary workaround:

enum B: Equatable {
    struct T: Equatable {
        let a: String
        let b: String
    }

    case b1([T])
}