Bug 4594 – itfi fails to detect correct types in the face of differing qualifiers

module test; void main() { int[] foos; func1(foos); } void func1(T)(const T[] foos) { T afoo; func2(foos, afoo); } void func2(T)(const T[] foos, out T afoo) { } $ dmd -c test.d test.d(12): Error: template test.func2(T) does not match any function template declaration test.d(12): Error: template test.func2(T) cannot deduce template function from argument types !()(const(int[]),int) test.d(6): Error: template instance test.func1!(int) error instantiating From don, changing func2 to: void func2(T, U)(const T[] foos, out U afoo) { static assert(is(T==U)); } Results in: test0.d(212): Error: static assert (is(const(int) == int)) is false test0.d(207): instantiated from here: func2!(const(int),int) test0.d(201): instantiated from here: func1!(int) T should be "int" instead of "const(int)".

simpler test case void bar(T)(const T x, T y) {} void main () { const int s1; int s2; bar!(const int)(s1, s2); // pass ok bar!(int)(s1, s2); // pass ok bar(s1, s2); // error } Error: template bar(T) does not match any function template declaration Error: template bar(T) cannot deduce template function from argument types !()(const(int),int)

*** This issue has been marked as a duplicate of issue 2594 ***