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

          Issue ID: 20185
           Summary: IsExpression with identifier does not handle combined
                    qualifiers correctly
           Product: D
           Version: D2
          Hardware: x86_64
                OS: Linux
            Status: NEW
          Severity: enhancement
          Priority: P1
         Component: dmd
          Assignee: nobody@puremagic.com
          Reporter: htvennik@gmail.com

----
static assert(is(const int == const));            // OK
static assert(is(shared const int == const));     // OK
static assert(is(const int U == const U));        // OK
static assert(is(shared const int U == const U)); // FAILS
----

The IsExpression in the latter should return `true`, and `U` should be defined as an alias to `shared int`.

This bug affects core.internal.traits.Unconst

--