Bug 2725 – Pattern matching in static if not working with variadic arguments

struct A(B...) {} void main() { alias A!(int, float) X; static if (!is(X Y == A!(Z), Z)) { static assert(false); } } This example fails the static assert. If one removes the float in the instantiation of A the example compiles. The compiler should match Z to the type tuple (int, float). Otherwise it is impossible to detect whether a type is an instantiation of a variadic template.

The is expression needs to be written as: static if (!is(X Y == A!(Z), Z...)) with the addition of the ... to indicate that Z is a tuple parameter. It still won't compile right, though, so I'll fix it.

Fixed DMD 2.027