• via Digitalmars-d-bugs (20/20) Aug 25 2016 https://issues.dlang.org/show_bug.cgi?id=16428

via Digitalmars-d-bugs <digitalmars-d-bugs puremagic.com> writes:

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.

--