[Issue 9774] New: Error message with __error using == on tuple members

[d-bugmail at puremagic.com]

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

           Summary: Error message with __error using == on tuple members
           Product: D
           Version: D1 & D2
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: normal
          Priority: P2
         Component: DMD
        AssignedTo: nobody at puremagic.com
        ReportedBy: clugdbug at yahoo.com.au


--- Comment #0 from Don <clugdbug at yahoo.com.au> 2013-03-21 01:33:48 PDT ---
template T9774(ab...)
{
    static assert( ab[0] == ab[0]);
}

static assert( T9774!(T9774)); 
=======================
bug.d(3): Error: void has no value
bug.d(3): Error: void has no value
bug.d(3): Error: static assert  ((__error) == (__error)) is not evaluatable at
compile time
bug.d(6): Error: template instance bug.T9774!(T9774) error instantiating
=======================
The problem is that typeCombine(a, b)
with a, b tuple members,
sets a and b to ErrorExp() but does NOT return ErrorExp, so then EqualExp tries
to constant fold it.

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