Bug 7090 – Value parameter types not respected in templates

This code fails to compile: struct A(size_t N) {} void main() { A!(1) a1; A!(cast(size_t) 1) a2; assert(a1 == a2); } with the message: ./test.d(10): Error: incompatible types for ((a1) == (a2)): 'A!(1)' and 'A!(1u)' This is mistaken. The type of N is not decided by the instantiation, but by A.

Same as http://d.puremagic.com/issues/show_bug.cgi?id=2550?

Yes, this is same as 2550. And I've posted a pull for fix this. https://github.com/D-Programming-Language/dmd/pull/449 I've checked that the patch surely fixes this issue in my local. But it is not yet merged with Walter's disagreement. *** This issue has been marked as a duplicate of issue 2550 ***

Kenji: Walter agreed to take a second look at your pull request. Thanks again for all your incredible work.