• d-bugmail puremagic.com (29/29) Oct 29 2009 http://d.puremagic.com/issues/show_bug.cgi?id=3448
• d-bugmail puremagic.com (10/10) Jun 12 2011 http://d.puremagic.com/issues/show_bug.cgi?id=3448
• d-bugmail puremagic.com (15/15) Jan 01 2012 http://d.puremagic.com/issues/show_bug.cgi?id=3448
• d-bugmail puremagic.com (20/20) Jan 01 2012 http://d.puremagic.com/issues/show_bug.cgi?id=3448

d-bugmail puremagic.com writes:

http://d.puremagic.com/issues/show_bug.cgi?id=3448

           Summary: __traits(compiles) returns true for a non-compilable
                    template instantiation
           Product: D
           Version: 2.035
          Platform: Other
        OS/Version: Windows
            Status: NEW
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: nobody puremagic.com
        ReportedBy: samukha voliacable.com



PDT ---
template Bar()
{
    void Bar()
    {
        error;
    }
}

template Foo()
{
    enum Foo = __traits(compiles, Bar!());
}

static assert(!Foo!());

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

d-bugmail puremagic.com writes:

http://d.puremagic.com/issues/show_bug.cgi?id=3448


yebblies <yebblies gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |yebblies gmail.com



This seems to have the same root cause as bug 965

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

d-bugmail puremagic.com writes:

http://d.puremagic.com/issues/show_bug.cgi?id=3448


Denis <verylonglogin.reg gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
                 CC|                            |verylonglogin.reg gmail.com



---
Just a bit smaller testcase:
---
void t()() { error; }

static assert(!__traits(compiles, t!()())); // assertion fails
static if(__traits(compiles, t!()())) { }   // Error: undefined identifier
---

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------

d-bugmail puremagic.com writes:

http://d.puremagic.com/issues/show_bug.cgi?id=3448


Denis <verylonglogin.reg gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
            Summary|__traits(compiles) returns  |__traits(compiles) not in a
                   |true for a non-compilable   |function returns true for a
                   |template instantiation      |non-compilable template
                   |                            |instantiation



---
This bug is only for `static assert/if` not in a function:
---
void t()() { error; }

void f() {
    static assert(!__traits(compiles, t!()())); // passes
    static if(__traits(compiles, t!()())) { }   // no errors
}
---

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------