d嵌套类悬空引用域外结构

原文

import std.algorithm : filter, map;
import std.stdio;

struct S {
    bool flag;
    auto method() {
        return [ 1 ].filter!(e => flag);
    }
}

void main() @safe {
    auto s = S(true);
    writeln(s.method);

    auto arr = [ s ];
    writeln(arr[0].method);

    auto mappedArray = arr.map!(e => e.method);
    writeln(mappedArray.front);
    writeln(mappedArray);
}
//期望:
    [1]
    [1]
    [1]
    [[1]]

//实际
    [1]
    [1]
    [1]
    [[]]

如下修改,可去掉:

auto method() {
    auto _flag = flag;
    return[1].filter!(e=>_flag);
}

更改flag为整数值并打印该值,表明在最后writeln中,该值已损坏为垃圾值.
似乎λ错误地关闭了结构临时副本(map参数作为局部变量),执行λ时该副本已出域.把.flag显式复制到method()中的局部变量,似乎会使它正确的在堆上分配.
即使按@safe标记main(),使用-dip25-dip1000编译也无法解决该问题.

类似案例:

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);
}

对自动函数,应在"中"推导中修复.它应该查找返回嵌套类的实例.