void main() @safe

{

    import std.traits;

    struct ThrowingElement

    {

        int i;

        ~this()

        {

            assert(1);

        }

    }

    void test() {

        ThrowingElement e;

        e.__dtor; // called automatically, but just to be sure

    }

    pragma(msg, isSafe!test);

}