Bug 5126 – is expression: matched variadic arguments get empty

Pattern matching against template variadic arguments was fixed in bug 2725 and now works, but there's still a problem. The matched arguments don't get correctly aliased: -------------------- struct Test(T...) {} void main() { alias Test!(int, double, string) Test1; static if (is(Test1 _ : Test!U, U...)) { static assert(U.length == 3, U.stringof); // (9) } } -------------------- % dmd -o- -c test.d test.d(9): Error: static assert "()"c -------------------- It works fine if U is not variadic: -------------------- struct Test(int n) {} void main() { alias Test!100 Test1; static if (is(Test1 _ : Test!n, int n)) { static assert(n == 100); // fine } else static assert(0); } --------------------

Works in 2.060head.