I agree with Dave. To me, building in a limit so that the return type can't be inferred seems arbitrary.
On Sun, Jan 15, 2017 at 12:41 AM, Dave Abrahams via swift-evolution < [email protected]> wrote: > > on Fri Jan 13 2017, John McCall <[email protected]> wrote: > > > I'm also not sure we'd ever want the element type to be inferred from > > context like this. Generic subscripts as I see it are about being > > generic over *indexes*, not somehow about presenting a polymorphic > > value. > > Actually I *would* want to be able to do that, though I admit it's the > 1% case (or less). > > -- > -Dave > > _______________________________________________ > swift-evolution mailing list > [email protected] > https://lists.swift.org/mailman/listinfo/swift-evolution > -- Chris Eidhof
_______________________________________________ swift-evolution mailing list [email protected] https://lists.swift.org/mailman/listinfo/swift-evolution
