digitalmars.D.bugs - [Issue 15923] New: is expression qualifier matching does not work
- via Digitalmars-d-bugs (28/28) Apr 13 2016 https://issues.dlang.org/show_bug.cgi?id=15923
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