D: Check if invariants are enabled using CTFE

check_if_invariants_are_enabled.d

bool invariantsEnabled() @trusted nothrow pure
{
    static struct HasInvariant
    {
        @safe pure:
        invariant { throw new Exception("From invariant"); }
        void triggerInvaraint() { }
    }
    try
        HasInvariant().triggerInvaraint();
    catch (Exception)
        return true;

    return false;
}

enum hasInvariants = invariantsEnabled();

void main()
{
    import std.stdio : writeln;
    pragma (msg, hasInvariants);
    writeln(invariantsEnabled());
}