[Issue 13767] New: Template type inference fails when destructuring shared type

[via Digitalmars-d-bugs]

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

          Issue ID: 13767
           Summary: Template type inference fails when destructuring
                    shared type
           Product: D
           Version: D2
          Hardware: All
                OS: All
            Status: NEW
          Severity: normal
          Priority: P1
         Component: DMD
          Assignee: nobody at puremagic.com
          Reporter: monkeyworks12 at hotmail.com

The following code fails to print anything, although I believe it should be
valid and should print `const(int)`.

shared const int i;

static if (is(typeof(i) == shared U, U))
{
    pragma(msg, U);
}

void main()
{
}

--