[Pitch] Synchronous Mutual Exclusion Lock

[kiel (Kiel Gillard)]

Mutex will have a conditional conformance to Sendable when the underlying value itself is also Sendable .

Are there other protocols Mutex could conditionally conform to when the underlying value also witnesses it, e.g.: Equatable, Hashable so users of Mutex would not have to provide custom implementations of those protocols? I'm not sure I can think of any good examples or use cases.