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

原文
fn嵌套函数不会在这里推断return.

int* gPtr;

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

可能最明智方法是允许非静态嵌套函数具有"return"和"scope"属性,然后按已标记这些属性的参数来对待上层变量引用.
有趣的是,如果fn()加上scope return,则生成正确的错误信息.

int* gPtr;

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

错误:fn()返回的栈分配值的引用,赋值给了非域gPtr.
从闭包返回域变量时,嵌套函数未推导return scope