[SR-7942] Automatic conformance for tuples with Equatable member types

[swift-ci]

Previous ID	SR-7942
Radar	None
Original Reporter	rob.nadin.dyson (JIRA User)
Type	New Feature
Status	Resolved
Resolution	Duplicate

Additional Detail from JIRA

Votes	0
Component/s
Labels	New Feature
Assignee	None
Priority	Medium

md5: 6f103116649503ada218e511bbd6d931

duplicates:

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

Issue Description:

It would make sense that a tuple where all of its member types that conform to the Equatable protocol should also be protocol. Currently Equatable is automatically synthesised for conforming types by the compiler, so a tuple that contains multiple conforming types to Equatable should also itself by Equatable.

[belkadan]

We'd love to, but it needs some more language features first! :-)