<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div><br></div><div>On Jun 17, 2017, at 16:16, Xiaodi Wu via swift-evolution <<a href="mailto:swift-evolution@swift.org">swift-evolution@swift.org</a>> wrote:<br><br></div><blockquote type="cite"><div><div dir="ltr">On Sat, Jun 17, 2017 at 3:21 PM, Ted F.A. van Gaalen <span dir="ltr"><<a href="mailto:tedvgiosdev@gmail.com" target="_blank">tedvgiosdev@gmail.com</a>></span> wrote:</div></div></blockquote><blockquote type="cite"><blockquote type="cite"><br></blockquote></blockquote><blockquote type="cite"><div><div dir="ltr"><div class="gmail_extra"><div class="gmail_quote"><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left-width:1px;border-left-style:solid;border-left-color:rgb(204,204,204);padding-left:1ex"><div style="word-wrap:break-word"><div><span class="gmail-"><blockquote type="cite"><div><div class="gmail_quote"></div></div></blockquote></span>As you know, Swift currently does not facilitate implicit conversion (coercion),</div><div>which implies that current code (which of course does not contain implicit conversions) </div><div>will function exactly as it does now,</div></div></blockquote><div><br></div><div>That is not implied. Swift has type inference, which means that, with the implementation of implicit promotion, the inferred type of certain expressions that are legal today will change. For instance, integer literals have no type of their own and are inferred to be of some type or another based on context. When combined with bitwise operators, the presence or absence of overloads that allow heterogeneous operations can change the result of code that compiles both before and after the implementation of the feature. This is just one example of why implicit integer promotion in a strictly typed language with type inference and without certain generics features is very hard.</div></div></div></div></div></blockquote><div><br></div><div>I'm not sure which generic features you're referring to. Would you (or anyone else who knows) mind elaborating?</div><div><br></div><div>- Dave Sweeris</div></body></html>