d闭包捕捉引用失败

原文

@safe:
alias DG = void delegate() @safe;

void main()
{
    DG dg = getDg(42);
    stompStack();
    dg();
}

DG getDg(int val)
{
    return forwardDg(val);
}

DG forwardDg(ref int c)
{
    return () {assert(c == 42);};
}

void stompStack()
{
    int[256] oops = int.max;
}

无论是否使用-dip1000,它都会失败.我认为(至少在@safe代码中)关闭ref参数应该是错误,因为forwardDg很难创建包含getDg的栈帧的闭包:它必须在运行时完成,因为无法静态知道ref参数的来源.