[swift-evolution] [proposal] Generic type aliases

[Joe Groff]

> On Mar 16, 2016, at 11:20 PM, Andrew Bennett <cacoyi at gmail.com> wrote:
> 
> Big +1 on this proposal from me.
> 
> Does this proposal allow a protocol can have generic associated types?
> associatedtype Something<T>
> associatedtype Something<T: Hashable>
> It's not mentioned, but I think it would be necessary at some point for completeness.

This would fall under the "higher-kinded types" umbrella.

-Joe

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <https://lists.swift.org/pipermail/swift-evolution/attachments/20160318/5a89c1d7/attachment.html>