• via Digitalmars-d-bugs (25/25) May 27 2017 https://issues.dlang.org/show_bug.cgi?id=17446

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

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

          Issue ID: 17446
           Summary: Static-assert passes/fails based on what follows
           Product: D
           Version: D2
          Hardware: x86
                OS: Windows
            Status: NEW
          Severity: normal
          Priority: P1
         Component: dmd
          Assignee: nobody puremagic.com
          Reporter: dario.schiavon gmail.com

import std.traits : isAssignable;

struct MyStruct
{
    static assert(isAssignable!MyStruct);
    // fails, but passes if the following line is removed

    static if (isAssignable!MyStruct) {}
}

The assertion fails (wrongly IMO), but passes if the following static-if is
removed.

Using DMD32 v2.074.0 or LDC2 v1.1.1 (based on DMD v2.071.2).

See also https://issues.dlang.org/show_bug.cgi?id=17445

--