std.exception.assertCTFEable ? Kenji Hara 2014/05/01 1:56 "Andrei Alexandrescu via Digitalmars-d" < digitalmars-d@puremagic.com>:
> Walter and I also discussed "static unittest" a while ago - yes, another > use of static :o). > > 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. > > 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. > > Thoughts? > > > Andrei >