> On Mar 16, 2016, at 11:20 PM, Andrew Bennett <[email protected]> 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

_______________________________________________
swift-evolution mailing list
[email protected]
https://lists.swift.org/mailman/listinfo/swift-evolution

Reply via email to