C++ guys hate static_if?

[Andrei Alexandrescu]

On 3/14/13 11:05 AM, monarch_dodra wrote:
> Having to instantiate a template just to check to make sure it is
> semantically correct is a huge pain.

I'm not sure about that. The way I see it, no code should be not 
delivered without being unittested. Ubiquitous unittesting is now 
mainstream. The way I see it, a type system on top of templates would 
only help people who don't write unittests.

Andrei