​

auto makeI(int m) @safe

{

    static struct S

    {

        int m;

        auto inner()

        {

            class I

            {

                auto get() @safe { return m; }

            }

            return new I;

        }

    }

    scope s = S(m);

    return s.inner();

}

​

void main() @safe

{

    auto i = makeI(5);

​

    function()

    {

        // clean stack

        pragma(inline, false);

        long[0x500] a = 0;

    }();

​

    assert(i.get() == 5);

}

​