[swift-evolution] Protocol non-conformance clause

Erica Sadun erica at ericasadun.com
Sat Apr 30 20:03:24 CDT 2016

> 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>

More information about the swift-evolution mailing list