1970 – Templated interfaces not matched

The following code won't compile:
 interface J(T) {}
 class A : J!(int) {}
 void foo(T)(J!(T) j) {}
 void main()
 {
 A a = new A;
 foo(a);
 }
The error is:
foo(T) does not match any function template declaration.
And yet it does. Change main to
 void main()
 {
 A a = new A;
 foo(cast(J!(int))a);
 }
and it compiles just fine. I contend that the explicit cast should not be necessary.

Increased severity to major, as this issue is blocking progress on Phobos development.

This is related to #1715, I think -- at the very least, this would be a workaround for #1715 and #1714 if it worked.

The patch in bug 4173 also fixes this.

http://www.dsource.org/projects/dmd/changeset/675