<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 <<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>> 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. </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=""> struct OrderedCollection<T: Comparable> {</font></div><div class=""><font face="monospace, monospace" class=""> }</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=""> struct OrderedCollection<Element: T: Comparable> {</font></div><div class=""><font face="monospace, monospace" class=""> }</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=""> struct OrderedCollection<Element: T where T: Comparable> {</font></div><div class=""><font face="monospace, monospace" class=""> }</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=""> struct OrderedCollection<Element: T where T: Comparable> {</font></div><div class=""><font face="monospace, monospace" class=""> typealias Element = T</font></div><div class=""><font face="monospace, monospace" class=""> }</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> 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>