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
