<div dir="ltr"><div class="gmail_extra"><div><div class="m_8197394095708509590gmail_signature" data-smartmail="gmail_signature"><div dir="ltr"><div>On Sat, Jan 14, 2017 at 3:41 PM, Dave Abrahams via swift-evolution <span dir="ltr">&lt;<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>&gt;</span> wrote:<br></div></div></div></div><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><span><br>
on Fri Jan 13 2017, John McCall &lt;<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>&gt; wrote:<br>
<br>
&gt; I&#39;m also not sure we&#39;d ever want the element type to be inferred from<br>
&gt; context like this.  Generic subscripts as I see it are about being<br>
&gt; generic over *indexes*, not somehow about presenting a polymorphic<br>
&gt; value.<br>
<br>
</span>Actually I *would* want to be able to do that, though I admit it&#39;s the<br>
1% case (or less).<br></blockquote><div><br></div><div>1%? Wouldn&#39;t many JSON libraries, for instance, be eager to take advantage of this?</div></div></div></div>