assume, assert, enforce, @safe

[Kagamin via Digitalmars-d]

On Thursday, 31 July 2014 at 19:31:51 UTC, Jonathan M Davis wrote:
> The whole type is templated, so the assertions will be compiled 
> in based on whether the user's code is compiled with -released 
> or not.

Sounds tricky. Doesn't the compiler optimize template 
instantiation? If it finds an already compiled template instance 
somewhere, it will use it instead of generating new one.