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: [email protected]
Reporter: [email protected]
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()
{
}
--
