[swift-evolution] Protocol non-conformance clause

[Erica Sadun]

> On Apr 29, 2016, at 3:18 PM, Thorsten Seitz <tseitz42 at icloud.com> wrote:
> 
> 
>> Am 29.04.2016 um 19:51 schrieb Xiaodi Wu <xiaodi.wu at gmail.com <mailto:xiaodi.wu at gmail.com>>:
>> 
>> Yes, certainly this works today. The motivation for Erica's question is that this would not work without modifying the third-party code if keywords were required to indicate implementation of protocol requirements.
> 
> If I understood the motivation correctly, the requirements should protect against typos where I planned to *replace* a method but due to a typo instead created a new method and inherited the default (or superclass) implementation.

extension A where !x:B {
    ....
}


then conforming a type to A and B would exclude the type from inheriting the extension.

-- E

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