<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"><<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>></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 <<a href="mailto:swift-evolution@swift.org" target="_blank">swift-evolution@swift.org</a>> wrote:<br>
<br>
> I'm also not sure we'd ever want the element type to be inferred from<br>
> context like this. Generic subscripts as I see it are about being<br>
> generic over *indexes*, not somehow about presenting a polymorphic<br>
> value.<br>
<br>
</span>Actually I *would* want to be able to do that, though I admit it's the<br>
1% case (or less).<br></blockquote><div><br></div><div>1%? Wouldn't many JSON libraries, for instance, be eager to take advantage of this?</div></div></div></div>