Pattern matching value template parameters

[Andrei Alexandrescu via Digitalmars-d]

On 08/25/2016 10:56 AM, Meta wrote:
> On Thursday, 25 August 2016 at 14:53:46 UTC, Meta wrote:
>> On Thursday, 25 August 2016 at 14:35:06 UTC, Andrei Alexandrescu wrote:
>>> Does anyone have a workaround for
>>> https://issues.dlang.org/show_bug.cgi?id=16428? Thanks! -- Andrei
>>
>> I don't get that error message, surprisingly. For your example code
>> from that bug report, I get this error message using 2.071.1:
>>
>> test.d(4): Error: static assert  (is(A!(int, 42) == A!(T, x),
>> __isexp_id52, T, x)) is false
>>
>> Which certainly looks like a bug to me.
>
> Sorry, I misunderstood and thought you were getting an error message
> about matching value parameters from a template declaration. I can
> confirm that I am experiencing the *same* issue with the assert failing.

Yah, that's right. The _isexp_id52 is an additional sign something odd 
is happening. -- Andrei