<div dir="ltr">Has there been any discussions about the possibility of having generic associatedtypes?<div><br></div><div>I (naively) think that it would open up a lot of possibilities.</div><div>Because if, for example, we could do this:</div><div><br></div><div>protocol CountType {</div><div>    associatedtype Storage&lt;E&gt;</div><div>    ...</div><div>}</div><div><br></div><div>Then we could do this:</div><div><br></div><div>struct Count1 : CountType {</div><div>    typealias Storage&lt;E&gt; = (E)</div><div>    ...</div><div>}</div><div>struct Count2 : CountType {</div><div>    typealias Storage&lt;E&gt; = (E, E)</div><div>    ...</div><div>}</div><div>struct Count3 : CountType {</div><div>    typealias Storage&lt;E&gt; = (E, E, E)</div><div>    ...</div><div>}</div><div>...</div><div>protocol StaticArrayType {</div><div>    associatedtype Count: CountType</div><div>    associatedtype Element</div><div>    ...</div><div>}</div><div>struct StaticArray&lt;C: CountType, Element&gt; : StaticArrayType {</div><div>    typealias Count = C</div><div>    var storage: C.Storage&lt;Element&gt;</div><div>    ...</div><div>}</div><div><br></div><div><br></div><div><br></div><div><div>Would adding support for generic associatedtypes be possible? Are there any plans for it?</div></div><div><br></div><div>(</div><div>I tried searching for it but I found only this:</div><div><a href="https://lists.swift.org/pipermail/swift-evolution/Week-of-Mon-20160411/015089.html">https://lists.swift.org/pipermail/swift-evolution/Week-of-Mon-20160411/015089.html</a><br></div><div>)</div><div><br></div><div>Thanks,</div><div>/Jens</div><div><br></div></div>