https://issues.dlang.org/show_bug.cgi?id=16428

          Issue ID: 16428
           Summary: Cannot pattern match value template parameter
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P1
         Component: dmd
          Assignee: nobody@puremagic.com
          Reporter: andrei@erdani.com

Consider:

struct A(T, T x = 42) {}
A!(int, 42) a;
static assert(is(typeof(a) == A!(T), T));
static assert(is(typeof(a) == A!(T, x), T, x));

The second assertion fails.

--