C++ guys hate static_if?

[Artur Skawina]

On 03/14/13 10:26, Don wrote:
> On Saturday, 9 March 2013 at 03:50:29 UTC, Walter Bright wrote:
>> On 3/8/2013 5:19 PM, Brad Anderson wrote:
>>> On Saturday, 9 March 2013 at 00:48:59 UTC, DypthroposTheImposter wrote:
>>>>      Are they full of it? Has it caused the problems they mention
>>>> in
>>>> D?
>>>
>>> Well, the two guys with an alternative proposal (concepts-lite) seem to hate
>>> static if (along with a third guy).
>>>
>>> There seems to be a lot of strawman arguments in this paper.
>>
>> Many of the criticisms in the paper are addressed by our positive experience with static if in D.
> 
> I think the hard-to-analyze argument is a good one.
> 
> I've created an enhancement for some analysis we could do without too much work:
> http://d.puremagic.com/issues/show_bug.cgi?id=9715
> (I think my bug report shows a bigger problem with static if, than is reported in the paper; the problems arise only when you have two static ifs in the same scope).
> 

The gain from such checks would be minimal. Eg "return x.toray;".

artur