If I understood your proposal correctly, this is already planned to be possible in Swift 3 :)<br><div class="gmail_quote"><div dir="ltr">On Thu, Dec 24, 2015 at 9:05 PM Sash Zats via swift-evolution <<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div dir="ltr">Hello, <div>I ran into several cases when it would be desirable to add an inheritance clause B in the protocol extension A. Briefly, my proposal is that compiler should not produce an error once `extension A: B` implements all the functions of the protocol B, making it formally confirming to it. Sadly, currently, there is no elegant way to mark the conformance formally.<div>A more detailed draft can be found here <a href="https://gist.github.com/zats/52476a83627f5e4c0a85" target="_blank">https://gist.github.com/zats/52476a83627f5e4c0a85</a><div><div>I would really appreciate your feedback and thoughts on this.</div></div></div><div>Thank you.</div></div></div>
<img src="https://u2002410.ct.sendgrid.net/wf/open?upn=EmLgVGNgdilXys3cXWyAWvOFC2-2FejnHkMVv8PyEdfbpK4jnqHM19fXEQjLrBWuNYMPrfn8-2BlpU3-2FhhEdAr423I8zrZa6I-2FZpsNje7R9W5Q56fwFnlsm6LmPIPVd9yrU5p5BwRs2tybHWqFvrEJEdDUn3kVxQvJ5XsPTcwHlcisP5R-2BwWbMQ-2FjpXYCpkS6A1a0t-2B2VBLy06Tl7d1Ef-2FXw4qL9AmhU-2BWt9KTl5CouoA4Q-3D" alt="" width="1" height="1" border="0" style="min-height:1px!important;width:1px!important;border-width:0!important;margin-top:0!important;margin-bottom:0!important;margin-right:0!important;margin-left:0!important;padding-top:0!important;padding-bottom:0!important;padding-right:0!important;padding-left:0!important">
_______________________________________________<br>
swift-evolution mailing list<br>
<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a><br>
<a href="https://lists.swift.org/mailman/listinfo/swift-evolution" rel="noreferrer" target="_blank">https://lists.swift.org/mailman/listinfo/swift-evolution</a><br>
</blockquote></div><div dir="ltr">-- <br></div>Javier Soto