C++ guys hate static_if?

[Timon Gehr]

On 03/14/2013 06:48 PM, H. S. Teoh wrote:
> ...
>
> We could, of course, automatically generate a very large number of
> template argument combinations and check to see if they're instantiable.
> In fact, we could write unittests that loop over every combination of a
> given list of types and instantiate the template to be tested with them.
> This is well within D's metaprogramming capabilities.
>
> ...

But way behind state-of-the-art research in program validation.