> On May 11, 2016, at 10:23 AM, Joe Groff via swift-evolution > <[email protected]> wrote: > >> >> 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.
To be clear, I'm not saying we *should* add infix `where` to the type grammar, only pointing out that this would prevent its use in the future. -Joe _______________________________________________ swift-evolution mailing list [email protected] https://lists.swift.org/mailman/listinfo/swift-evolution
