<html><head><meta http-equiv="Content-Type" content="text/html charset=us-ascii"></head><body style="word-wrap: break-word; -webkit-nbsp-mode: space; -webkit-line-break: after-white-space;" class=""><br class=""><div><blockquote type="cite" class=""><div class="">On Jan 23, 2016, at 19:18, Andrew Bennett via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>&gt; wrote:</div><br class="Apple-interchange-newline"><div class=""><div dir="ltr" class=""><div class="">I like the idea.</div><div class=""><br class=""></div><div class="">I think I'd be using typealias a lot to make things more concise, but that's not necessarily a problem.&nbsp;</div><div class=""><br class=""></div><div class="">How would I name the following parameter?</div><div class=""><br class=""></div><div class=""><font face="monospace, monospace" class="">&nbsp; &nbsp; struct OrderedCollection&lt;T: Comparable&gt; {</font></div><div class=""><font face="monospace, monospace" class="">&nbsp; &nbsp; }</font></div><div class=""><font face="monospace, monospace" class=""><br class=""></font></div><div class=""><font face="arial, helvetica, sans-serif" class="">As I understand it, would I do it as follows?</font></div><div class=""><font face="monospace, monospace" class=""><br class=""></font></div><div class=""><div class=""><font face="monospace, monospace" class="">&nbsp; &nbsp; struct OrderedCollection&lt;Element: T: Comparable&gt; {</font></div><div class=""><font face="monospace, monospace" class="">&nbsp; &nbsp; }</font></div></div><div class=""><font face="monospace, monospace" class=""><br class=""></font></div><div class=""><font face="arial, helvetica, sans-serif" class="">Or would all type constraints now require `where`, like this:</font></div><div class=""><div class=""><div class=""><font face="monospace, monospace" class="">&nbsp; &nbsp; struct OrderedCollection&lt;Element: T where T: Comparable&gt; {</font></div><div class=""><font face="monospace, monospace" class="">&nbsp; &nbsp; }</font></div></div></div><div class=""><br class=""></div><div class="">Also, a typealias seems somewhat redundant when the parameter is labelled:</div><div class=""><br class=""></div><div class=""><div class=""><font face="monospace, monospace" class="">&nbsp; &nbsp; struct OrderedCollection&lt;Element: T where T: Comparable&gt; {</font></div><div class=""><font face="monospace, monospace" class="">&nbsp; &nbsp; &nbsp; &nbsp; typealias Element = T</font></div><div class=""><font face="monospace, monospace" class="">&nbsp; &nbsp; }</font></div></div><div class=""><br class=""></div><div class="">I wonder if the typealias could be implied.</div></div></div></blockquote><br class=""></div><div>Without commenting on anything else, IIRC we were <i class="">already</i>&nbsp;planning to make the local typealias implied, even for today's generic parameters.</div><div><br class=""></div><div>Jordan</div><br class=""></body></html>