<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=""><br class=""><div><blockquote type="cite" class=""><div class="">On 25 Sep 2016, at 21:45, Drew Crawford <<a href="mailto:drew@sealedabstract.com" class="">drew@sealedabstract.com</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; orphans: auto; text-align: start; text-indent: 0px; text-transform: none; white-space: normal; widows: auto; word-spacing: 0px; -webkit-text-stroke-width: 0px; margin: 0px;" class=""><blockquote type="cite" class="clean_bq"><div class="" style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;">I think this is already part of the Generics Manifesto: <a href="https://github.com/apple/swift/blob/master/docs/GenericsManifesto.md" class="">https://github.com/apple/swift/blob/master/docs/GenericsManifesto.md</a></div></blockquote><div class=""><br class=""></div><div class="">So is this proposal. The proposal's "Motivation" is lifted from the Arbitrary Requirements in Protocols section: <a href="https://github.com/apple/swift/blob/master/docs/GenericsManifesto.md#arbitrary-requirements-in-protocols-" class="">https://github.com/apple/swift/blob/master/docs/GenericsManifesto.md#arbitrary-requirements-in-protocols-</a></div></div></div></blockquote></div><br class=""><div class=""><br class=""></div><div class="">Sorry, what I meant to say is that: I think it would count as its own proposal (just because it has its own little section).</div><div class=""><br class=""></div><div class="">Although you’re right; the proposal includes concrete same-type constraints for sub-protocols (e.g. IntSequence) but we don’t have the same ability when extending existing protocols.</div><div class="">Maybe it would have been better to do the proposals the other way around.</div><div class=""><br class=""></div><div class="">- Karl</div></body></html>