[swift-evolution] [Pitch] Requiring proactive overrides for default protocol implementations.

[Matthew Johnson]

Sent from my iPad

> On Apr 28, 2016, at 5:49 PM, Erica Sadun <erica at ericasadun.com> wrote:
> 
> 
>> On Apr 28, 2016, at 12:18 PM, Matthew Johnson <matthew at anandabits.com> wrote:
>> We can't add the keywords if the structs are defined in a module we import but don't own.  We are only declaring the conformance retroactively.  The ability to do this is a crucial aspect of generic programming.  It isn't yet clear how your proposal handles retroactive modeling.
> 
> These are compile-time checks and should not affect compiled code.

Does that mean the conformance declaration will be accepted by the compiler under your proposal?  I would really like to see this called out explicitly in the proposal.

> 
> -- E
> 
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160428/393781bf/attachment.html>