<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class="">See&nbsp;<a href="https://github.com/apple/swift/blob/master/docs/GenericsManifesto.md#conditional-conformances-via-protocol-extensions" class="">Conditional Conformances via Protocol Extensions</a>.<div class=""><br class=""><div><blockquote type="cite" class=""><div class="">On Dec 6, 2017, at 11:05 AM, Cao, Jiannan via swift-dev &lt;<a href="mailto:swift-dev@swift.org" class="">swift-dev@swift.org</a>&gt; wrote:</div><br class="Apple-interchange-newline"><div class=""><div class="">Recently, we can use conditional conformances for struct/class.<br class=""><br class=""><blockquote type="cite" class="">extension Array: Equatable where Self.Element : Equatable { ... }<br class=""></blockquote><br class=""><br class="">Could we use conditional conformances for protocols?<br class="">For example:<br class=""><br class=""><blockquote type="cite" class="">extension Collection : Equatable &nbsp;where Self.Element : Equatable { ... }<br class=""></blockquote><br class=""><br class="">Thanks!<br class="">Jiannan<br class=""><br class=""><br class="">_______________________________________________<br class="">swift-dev mailing list<br class=""><a href="mailto:swift-dev@swift.org" class="">swift-dev@swift.org</a><br class="">https://lists.swift.org/mailman/listinfo/swift-dev<br class=""></div></div></blockquote></div><br class=""></div></body></html>