C++ guys hate static_if?

[Andrei Alexandrescu]

On 3/14/13 4:57 PM, Timon Gehr wrote:
> On 03/14/2013 06:51 PM, Andrei Alexandrescu wrote:
>> On 3/14/13 1:48 PM, H. S. Teoh wrote:
>>> I don't agree. Phobos is a prime example. Does Phobos have unittests?
>>> Yes, and lots of them. Does it still have non-compilable template
>>> instantiations? Yes, because unittests can't cover all possibilities --
>>> there are too many possible combinations of template arguments. There
>>> are bound to be untested combinations which don't work but we're unaware
>>> of.
>>
>> If you found a few, that would be great. I don't think you'll have an
>> easy time.
>>
>> Andrei
>>
>
> Challenge accepted. Clearly the Phobos developers do not instantiate
> their templates before shipping them. :o)
>
> The following breaks most of std.range, and most of std.algorithm could
> likely be broken too, but I am too lazy to investigate.
[snip]

Nice point. The problem is an immutable TrollFace should not qualify 
pass the range tests. This could happen if there was a similar bug in a 
concept definition. So your argument does not move the ball on concepts 
vs static if.

Andrei