<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="">On Jan 10, 2017, at 11:40 AM, Douglas Gregor via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>&gt; wrote:<div><blockquote type="cite" class=""><div class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class=""><blockquote type="cite" class=""><div class="">On Jan 10, 2017, at 10:34 AM, Michael Ilseman via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>&gt; wrote:</div><br class="Apple-interchange-newline"><div class=""><meta http-equiv="Content-Type" content="text/html charset=us-ascii" class=""><div style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><div class="">[Forgot to CC swift-evolution the first time]</div><div class=""><br class=""></div><div class=""><div class="">When this came up last, it was seen as more so a bug in the current implementation, rather than an explicit choice. There's no need for a proposal, just a JIRA:&nbsp;<a href="https://bugs.swift.org/browse/SR-115?jql=text%20~%20%22Generic%20subscript%22" class="">https://bugs.swift.org/browse/SR-115?jql=text%20~%20%22Generic%20subscript%22</a>&nbsp;</div></div></div></div></blockquote><div class=""><br class=""></div><div class="">It’s a nontrivial new user-facing feature with new syntax in the language, so it’ll need a proposal. ‘twould be good for the proposal to link to the JIRA ticket.</div><div class=""><br class=""></div><div class="">I’ve only heard positive reactions toward this feature, and it’s something that the standard library could make good use of.</div></div></div></div></blockquote><br class=""></div><div>+1, this would be clearly great to happen.</div><div><br class=""></div><div>-Chris</div><br class=""></body></html>