<html><head><style>body{font-family:Helvetica,Arial;font-size:13px}</style></head><body style="word-wrap:break-word"><div id="bloop_customfont" style="font-family:Helvetica,Arial;font-size:13px;color:rgba(0,0,0,1.0);margin:0px;line-height:auto">@David But the automatic conformance is currently supported through <span class="" style="color:rgb(4,51,255);font-family:Menlo;font-size:11px">extension</span><span class="" style="font-family:Menlo;font-size:11px"> </span><span class="" style="font-family:Menlo;font-size:11px;color:rgb(52,149,175)">A</span><span class="" style="font-family:Menlo;font-size:11px"> </span><span class="" style="color:rgb(4,51,255);font-family:Menlo;font-size:11px">where</span><span class="" style="font-family:Menlo;font-size:11px"> </span><span class="" style="color:rgb(4,51,255);font-family:Menlo;font-size:11px">Self</span><span class="" style="font-family:Menlo;font-size:11px">: B<span style="font-family:Helvetica,Arial;font-size:13px">.</span></span></div><div id="bloop_customfont" style="font-family:Helvetica,Arial;font-size:13px;color:rgba(0,0,0,1.0);margin:0px;line-height:auto"><span class="" style="font-family:Menlo;font-size:11px"><span style="font-family:Helvetica,Arial;font-size:13px"><br></span></span></div><div id="bloop_customfont" style="font-size:13px;margin:0px"><span class="" style="font-size:11px"><span style="color:rgb(0,0,0);font-family:Helvetica,Arial;font-size:13px">@Slava When does</span><span style="font-size:13px"><font color="#0a51a1" face="normal helvetica, sans-serif"> </font></span></span><span class="" style="color:rgb(4,51,255);font-family:Menlo;font-size:11px">extension</span><span class="" style="color:rgb(0,0,0);font-family:Menlo;font-size:11px"> </span><span class="" style="color:rgb(52,149,175);font-family:Menlo;font-size:11px">A</span><span class="" style="color:rgb(0,0,0);font-family:Menlo;font-size:11px"> </span><span class="" style="color:rgb(4,51,255);font-family:Menlo;font-size:11px">where</span><span class="" style="color:rgb(0,0,0);font-family:Menlo;font-size:11px"> </span><span class="" style="color:rgb(4,51,255);font-family:Menlo;font-size:11px">Self</span><span class="" style="color:rgb(0,0,0);font-family:Menlo;font-size:11px">: B</span><span style="color:rgb(10,81,161);font-family:'normal helvetica',sans-serif"> </span>not equal<span style="color:rgb(10,81,161);font-family:'normal helvetica',sans-serif"> </span><span class="" style="color:rgb(4,51,255);font-family:Menlo;font-size:11px">extension</span><span class="" style="color:rgb(0,0,0);font-family:Menlo;font-size:11px"> </span><span class="" style="color:rgb(52,149,175);font-family:Menlo;font-size:11px">B</span><span class="" style="color:rgb(0,0,0);font-family:Menlo;font-size:11px"> </span><span class="" style="color:rgb(4,51,255);font-family:Menlo;font-size:11px">where</span><span class="" style="color:rgb(0,0,0);font-family:Menlo;font-size:11px"> </span><span class="" style="color:rgb(4,51,255);font-family:Menlo;font-size:11px">Self</span><span class="" style="color:rgb(0,0,0);font-family:Menlo;font-size:11px">: A</span>? Why would protocol inheritance not be communicative?</div><div id="bloop_customfont" style="font-family:Helvetica,Arial;font-size:13px;color:rgba(0,0,0,1.0);margin:0px;line-height:auto"><span class="" style="font-family:Menlo;font-size:11px"><br></span></div> <div id="bloop_sign_1497920098651952128" class="bloop_sign"></div> <br><p class="airmail_on">On June 19, 2017 at 5:26:44 PM, David Sweeris (<a href="mailto:davesweeris@mac.com">davesweeris@mac.com</a>) wrote:</p> <blockquote type="cite" class="clean_bq"><span><div dir="auto"><div></div><div>
<title></title>
<div>IIUC (which shouldn't be assumed on your part) the difference
is that any types which conform to both `A` and `B` will
<i>automatically</i> conform to `CProtocol` as well, but not `C`. I
suspect the "automatic conformance" bit is why we don't currently
allow it.</div>
<div id="AppleMailSignature"><br></div>
<div id="AppleMailSignature">- Dave Sweeris</div>
<div id="AppleMailSignature"><br></div>
<div>On Jun 19, 2017, at 13:44, Jon Shier via swift-users
<<a href="mailto:swift-users@swift.org">swift-users@swift.org</a>>
wrote:<br>
<br></div>
<blockquote type="cite">
<div>
What I usually do here is:
<div class="">typealias CProtocol = A & B</div>
<div class="">protocol C: CProtocol { } // or just A & B
directly, I think</div>
<div class="">extension C {}</div>
<div class=""><br class=""></div>
<div class="">So it’s a bit silly to me.</div>
<div class=""><br class=""></div>
<div class=""><br class=""></div>
<div class="">Jon</div>
<div class=""><br class=""></div>
<div class=""><br class="">
<div>
<blockquote type="cite" class="">
<div class="">On Jun 19, 2017, at 3:44 PM, Slava Pestov via
swift-users <<a href="mailto:swift-users@swift.org" class="">swift-users@swift.org</a>> wrote:</div>
<br class="Apple-interchange-newline">
<div class="">
<div style="word-wrap:break-word" class="">Hi Steven,
<div class=""><br class=""></div>
<div class="">
<div class="">
<blockquote type="cite" class="">
<div class="">On Jun 19, 2017, at 11:44 AM, Steven Brunwasser via
swift-users <<a href="mailto:swift-users@swift.org" class="">swift-users@swift.org</a>> wrote:</div>
<br class="Apple-interchange-newline">
<div class="">
<div id="bloop_customfont" style="font-family:Helvetica,Arial;font-size:13px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;margin:0px" class="">Is this error intentional, or a bug?</div>
</div>
</blockquote>
<div class=""><br class=""></div>
It’s intentional. We could add support for this as an extra bit of
sugar, but note that</div>
<div class=""><br class="">
<blockquote type="cite" class="">
<div id="bloop_customfont" style="font-family:Helvetica,Arial;font-size:13px;font-style:normal;font-variant-caps:normal;font-weight:normal;letter-spacing:normal;text-align:start;text-indent:0px;text-transform:none;white-space:normal;word-spacing:0px;margin:0px" class="">Since <span class="" style="color:rgb(4,51,255);font-family:Menlo;font-size:11px">extension</span><span class="" style="font-family:Menlo;font-size:11px"> </span><span class="" style="font-family:Menlo;font-size:11px;color:rgb(52,149,175)">A</span><span class="" style="font-family:Menlo;font-size:11px"> </span><span class="" style="color:rgb(4,51,255);font-family:Menlo;font-size:11px">where</span><span class="" style="font-family:Menlo;font-size:11px"> </span><span class="" style="color:rgb(4,51,255);font-family:Menlo;font-size:11px">Self</span><span class="" style="font-family:Menlo;font-size:11px">: B</span> is the
same as <span class="" style="color:rgb(4,51,255);font-family:Menlo;font-size:11px">extension</span><span class="" style="font-family:Menlo;font-size:11px"> </span><span class="" style="font-family:Menlo;font-size:11px;color:rgb(52,149,175)">B</span><span class="" style="font-family:Menlo;font-size:11px"> </span><span class="" style="color:rgb(4,51,255);font-family:Menlo;font-size:11px">where</span><span class="" style="font-family:Menlo;font-size:11px"> </span><span class="" style="color:rgb(4,51,255);font-family:Menlo;font-size:11px">Self</span><span class="" style="font-family:Menlo;font-size:11px">: A</span>,</div>
</blockquote>
<br class=""></div>
<div class="">This is not quite true.</div>
<div class=""><br class=""></div>
<div class="">Slava</div>
<br class=""></div>
</div>
_______________________________________________<br class="">
swift-users mailing list<br class="">
<a href="mailto:swift-users@swift.org" class="">swift-users@swift.org</a><br class="">
<a href="https://lists.swift.org/mailman/listinfo/swift-users">https://lists.swift.org/mailman/listinfo/swift-users</a><br class="">
</div>
</blockquote>
</div>
<br class=""></div>
</div>
</blockquote>
<blockquote type="cite">
<div>
<span>_______________________________________________</span><br>
<span>swift-users mailing list</span><br>
<span><a href="mailto:swift-users@swift.org">swift-users@swift.org</a></span><br>
<span><a href="https://lists.swift.org/mailman/listinfo/swift-users">https://lists.swift.org/mailman/listinfo/swift-users</a></span><br>
</div>
</blockquote>
</div></div></span></blockquote></body></html>