[swift-evolution] Protocol non-conformance clause

[Erica Sadun]

Gmane is down as far as my browser is concerned and I haven't found anything by Googling.

Given the following:

protocol A {func foo()}
protocol B {} // empty protocol

extension A where Self:B {
    func foo() {
        print("Self is B")
    }
}

// Works
struct S1: A, B {}
S1().foo()

Is there a way to produce a similar extension that exempts any type that conforms to B?

cc'ing in Wux because this is a direct response to a scenario he brought up yesterday.

-- E

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160429/9cb03115/attachment.html>