> On May 11, 2016, at 6:54 AM, Thorsten Seitz <[email protected]> wrote: > >> >> Am 11.05.2016 um 03:56 schrieb Joe Groff via swift-evolution >> <[email protected]>: >> >> >>>> On May 10, 2016, at 4:19 PM, Douglas Gregor via swift-evolution >>>> <[email protected]> wrote: >>>> >>>> >>>> On May 10, 2016, at 3:46 PM, Jordan Rose via swift-evolution >>>> <[email protected]> wrote: >>>> >>>> I think actual keyword “where” provides enough of a delimiter that it >>>> won’t be hard to put something before it, and it seems unlikely to me that >>>> we would want to add anything after it without some other delimiter. So >>>> I’m not too concerned. >>> >>> Yeah, that’s my feeling as well. >> >> One conceivable use of `where` that this would shut the door on: infix >> `where` for generalized existentials, e.g. `Protocol where AssociatedType == >> Int` could be the Protocol existential with Self.AssociatedType constrained >> to Int. > > Why do you think that?
This proposal moves `where` after the return type, which would be ambiguous with any infix use of `where` in the type grammar. -Joe _______________________________________________ swift-evolution mailing list [email protected] https://lists.swift.org/mailman/listinfo/swift-evolution
