<html><head><meta http-equiv="Content-Type" content="text/html charset=utf-8"></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 Mar 23, 2016, at 10:57 AM, Shawn Erickson 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=""><br class=""><br class=""><div class="gmail_quote"><div dir="ltr" class="">On Wed, Mar 23, 2016 at 10:42 AM Douglas Gregor via swift-evolution <<a href="mailto:swift-evolution@swift.org" class="">swift-evolution@swift.org</a>> wrote:<br class=""></div><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex"><div style="word-wrap:break-word" class=""><br class=""><div class=""><blockquote type="cite" class=""><div class="">On Mar 23, 2016, at 10:36 AM, Thorsten Seitz <<a href="mailto:tseitz42@icloud.com" target="_blank" class="">tseitz42@icloud.com</a>> wrote:</div><br class=""><div class=""><div dir="auto" class=""><div class=""></div><div class="">I actually do prefer the explicit variant without type inference as I find it much clearer to see what the typealias requires.</div></div></div></blockquote><div class=""><br class=""></div>As do I. Also, we don’t currently have any place in the language where we infer constraints from the *definition* of an entity.</div><div class=""></div></div><br class=""></blockquote><div class=""><br class=""></div><div class="">I strongly favor being explicit.</div></div></div></div></blockquote><br class=""></div><div>Thanks, I agree, I modified the proposal to include that.</div><div><br class=""></div><div>-Chris</div><br class=""></body></html>