<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 Jan 26, 2017, at 4:26 PM, Xiaodi Wu <<a href="mailto:xiaodi.wu@gmail.com" class="">xiaodi.wu@gmail.com</a>> wrote:</div><br class="Apple-interchange-newline"><div class="">Very interesting point, Alexis. So can you reiterate again which of the four options you outlined earlier support this use case? And if there are multiple, which would be the most consistent with the rest of the language?<br class=""><br class=""></div></blockquote></div><br class=""><div class="">Both “prefer user” and “DWIM” are consistent with my desired solution for this specific problem (they pick Int64). DWIM seems more consistent with the rest of Swift to me in that it tries harder to find a reasonable interpretation of your code before giving up. I think it also ends up having the simplest implementation in the current compiler. You can potentially just add a new tie-breaker if-statement in this code: <a href="https://github.com/apple/swift/blob/master/lib/Sema/CSRanking.cpp#L1010" class="">https://github.com/apple/swift/blob/master/lib/Sema/CSRanking.cpp#L1010</a></div><div class=""><br class=""></div><div class="">Something to the affect of “if one of these was recommended by a generic default, that one’s better”. This of course requires threading that information through the compiler.</div><div class=""><br class=""></div></body></html>