> On Apr 29, 2016, at 3:18 PM, Thorsten Seitz <tseit...@icloud.com> wrote:
>
>
>> Am 29.04.2016 um 19:51 schrieb Xiaodi Wu <xiaodi...@gmail.com
>> <mailto:xiaodi...@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
_______________________________________________
swift-evolution mailing list
swift-evolution@swift.org
https://lists.swift.org/mailman/listinfo/swift-evolution
