<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div></div><div>I actually do prefer the explicit variant without type inference as I find it much clearer to see what the typealias requires.</div><div><br></div><div>-Thorsten&nbsp;</div><div><br>Am 23.03.2016 um 17:38 schrieb Douglas Gregor via swift-evolution &lt;<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>&gt;:<br><br></div><blockquote type="cite"><div>Clarification here: the example is</div><div><br class=""></div><blockquote style="margin: 0 0 0 40px; border: none; padding: 0px;" class=""><div><font face="Menlo" class="">typealias DictionaryToStrings&lt;T&gt; = Dictionary&lt;T, String&gt;</font></div></blockquote><div><br class=""></div><div>Either we infer T to require Hashable, or we call this ill-formed and require the user to write</div><div><br class=""></div><div><blockquote style="margin: 0px 0px 0px 40px; border: none; padding: 0px;" class=""><div><font face="Menlo" class="">typealias DictionaryToStrings&lt;T: Hashable&gt; = Dictionary&lt;T, String&gt;</font></div><div class=""><br></div></blockquote></div></blockquote></body></html>