<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div><blockquote type="cite" class=""><div class="">On Aug 16, 2016, at 6:59 PM, Karl via swift-evolution <<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>> wrote:</div><br class="Apple-interchange-newline"><div class=""><meta http-equiv="Content-Type" content="text/html charset=utf-8" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">I think the point is that existentials not conforming to their protocols is the underlying reason this doesn’t work already.<br class=""><div class=""><br class=""></div><div class="">From the previous thread:</div><div class=""><blockquote type="cite" class=""><pre style="white-space: pre-wrap; background-color: rgb(255, 255, 255);" class="">There are a couple of reasons this is the case. IIRC in some cases it actually isn't possible for the existential to conform to the protocol in a sound way. And even when it is possible, I believe it has been said that it is more difficult to implement than you might think. Hopefully the situation will improve in the future but I'm not aware of any specific plans at the moment.<br class=""></pre></blockquote></div><div class="">It seems like a reasonably straightforward axiom. I would be interested to learn more about those edge-cases.</div></div></div></blockquote><div><br class=""></div>Now that you mention it, I very vaguely recall that thread. What it called again? I want to go back and read that whole section.</div><br class=""><div class="">- Dave Sweeris</div></body></html>