dip1000可逃逸嵌套函数返回的域指针

原文
'fn'嵌套函数不能推导得到'return'.

int* gPtr;

void main() @safe
{
    scope int* sPtr;
    int* fn() { return sPtr; }
    gPtr = fn();
}

最好方法可能是允许非静态嵌套函数具有'return'和'scope'属性,然后按带这些属性标记的参数来对待上级变量引用.
有趣的是,如果添加'scope return'到'fn()'中.

int* gPtr;

 void main() @safe
 {
    scope int* sPtr;
    int* fn() scope return { return sPtr; }
    gPtr = fn();
 }

然后,生成正确的错误:
错误:赋值fn()返回的栈分配值的引用给非域gPtr.
问题是,在从闭包返回域变量时,嵌套函数没有推导'中域'.
参考