<html><head><meta http-equiv="content-type" content="text/html; charset=utf-8"></head><body dir="auto"><div><br></div><div>On Jan 24, 2017, at 15:33, Xiaodi Wu &lt;<a href="mailto:xiaodi.wu@gmail.com">xiaodi.wu@gmail.com</a>&gt; wrote:<br><br></div><blockquote type="cite"><div><div>As I replied above, this doesn't work IMO because omitted generic arguments are inferred, and that can't change without being hugely source-breaking.</div><div><br></div><div>I think it's absolutely essential that adding a default to my library doesn't change the behavior of code that uses my library. That's currently the case, afaict, for all default arguments, and so I think it's essential here.</div>
</div></blockquote><br><div>There is a difference, though, in that default <i>values</i> can't be inferred... Simply adding a default value for a function argument can't change the behavior of anything because, prior to adding it, any code that didn't provide that value wouldn't have compiled.</div><div><br></div><div>- Dave Sweeris&nbsp;</div></body></html>