Bug 17653 – Redefining symbol in separate but identical template namespaces is completely ignored

Not sure whether to mark this rejects-valid or diagnostic. template foo(T) { struct R { int x; } auto foo(T t) { return R(1); } } template foo(T) { struct R { string s; } auto foo(T t, bool f) { return R("hi"); } } void main() { foo(1); foo(1, true); } Error: cannot implicitly convert expression ("hi") of type string to int It appears that the second foo is using the first foo's R to return. However, if I defined R twice in the same template it would complain. It appears that the second R is just simply ignored. That shouldn't happen.

This is a manifestation of the bug described in https://issues.dlang.org/show_bug.cgi?id=23904 . Note my comment in that bug: https://issues.dlang.org/show_bug.cgi?id=23904#c2 *** This issue has been marked as a duplicate of issue 23904 ***