• via Digitalmars-d-bugs (25/25) Nov 22 2014 https://issues.dlang.org/show_bug.cgi?id=13767

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

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 puremagic.com
          Reporter: monkeyworks12 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()
{
}

--