Bug 9774 – Error message with __error using == on tuple members

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.

Commit pushed to master at https://github.com/D-Programming-Language/dmd https://github.com/D-Programming-Language/dmd/commit/396d9a7906b6349f5e1c5ce3818ec09e3a95ec0e Fix issue 9774 Error message with __error using == on tuple members