www.digitalmars.com         C & C++   DMDScript  

digitalmars.D.bugs - [Issue 15923] New: is expression qualifier matching does not work

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

          Issue ID: 15923
           Summary: is expression qualifier matching does not work with
                    multiple qualifiers
           Product: D
           Version: D2
          Hardware: x86_64
                OS: Linux
            Status: NEW
          Severity: normal
          Priority: P1
         Component: dmd
          Assignee: nobody puremagic.com
          Reporter: andrei erdani.com

Consider:

alias T = shared(const int);
static if (is(T == shared(U), U))
    pragma(msg, "works");
else
    static assert(0, "does not work");

This fails to compile. The compiler should peel the "shared" and bind U to
const int. This code does work:

alias T = shared(const int);
static if (is(T == shared(const(U)), U))
    pragma(msg, "works");
else
    static assert(0, "does not work");

--
Apr 13 2016