https://issues.dlang.org/show_bug.cgi?id=14359
--- Comment #1 from Kenji Hara <[email protected]> --- How SDC works for following codes? auto foo(T u, T)() { return typeof(u).stringof; } pragma(msg, foo(1)); // T is deduced to int ... it's reasonable. pragma(msg, foo(1, int)); // typeof(1) is int by default, so it might be accepted pragma(msg, foo(1, long)); // typeof(u) will be long, or conflict happens? pragma(msg, foo(1, double)); // typeof(u) will be double, or conflict happens? pragma(msg, foo(1, string)); // definitely conflicts --
