<p dir="ltr">std.exception.assertCTFEable ?</p>
<p dir="ltr">Kenji Hara</p>
<div class="gmail_quote">2014/05/01 1:56 "Andrei Alexandrescu via Digitalmars-d" <<a href="mailto:digitalmars-d@puremagic.com">digitalmars-d@puremagic.com</a>>:<br type="attribution"><blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex">
Walter and I also discussed "static unittest" a while ago - yes, another use of static :o).<br>
<br>
A static unittest would be evaluated only during compilation, and would prove things that fall in the realm of static checking but are not verifiable with traditional typesystem approach.<br>
<br>
That won't enable things we can't do today (there's always assert(__traits(compiles, ...)) but it's instantly recognizable, very easy to use, and pushes semantic checking to a whole new level.<br>
<br>
Thoughts?<br>
<br>
<br>
Andrei<br>
</blockquote></div>