Generic enums with Void associated values

[zoul (Tomáš Znamenáček)]

Related thread:

Equality for generic container and Void

Is it possible now (with conditional conformances) to write a generic container, say Result<T>, that would be Equatable both when T: Equatable and T == Void? The obvious solution leads to overlapping conformances: enum Result<T> { case success(T) case failure } extension Result: Equatable where T: Equatable { … } extension Result: Equatable where T == Void { … } I know I can make my own “placeholder” type like enum Unit: Equatable { case unit }, but that feels like a hack and has to b…

My workaround is to define something like enum Unit: Equatable { case unit }, producing Result<Unit> instead of Result<Void>.