template constraint diagnostics

[Steven Schveighoffer via Digitalmars-d]

On 10/16/14 4:21 AM, Atila Neves wrote:
> Same here. I've been thinking of a DIP for a while, just haven't had
> time to put it together.
>
> Atila
>
> On Wednesday, 15 October 2014 at 17:29:35 UTC, Trass3r wrote:
>> http://youtu.be/qwXq5MqY2ZA?t=33m57s
>>
>> I wish we had diagnostics like that in D.
>

It would be nice.

I don't think it would be too difficult. You are analyzing an expression 
that evaluates to false, and it wouldn't take much to dig down to find 
out which subexpressions cause the false to occur.

-Steve