On Tuesday, 9 June 2015 at 10:48:22 UTC, Marc Schütz wrote: > static assert() is your friend in this case The point is that in D you don't need to express ctfe guarantee at all. It just works.