A Vision on Improved DMD Template Instantiation Diagonostics

[Xinok via Digitalmars-d]

On Friday, 12 June 2015 at 15:51:02 UTC, Per Nordlöw wrote:
> On Friday, 12 June 2015 at 15:35:55 UTC, Xinok wrote:
>> However, template constraints in D are much more powerful and 
>> flexible than C++ concepts. As such, there are bound to be 
>> several cases in which the compiler can't provide any useful 
>> information, no matter how "smart" it may be.
>
> Can you give an example of such a case where the compiler isn't 
> smart enough?

The satisfiability problem, i.e. it may be there is no set of 
inputs that satisfies the template constraints.

https://en.wikipedia.org/wiki/Boolean_satisfiability_problem