原文
以下程序无法用-preview=dip1000编译:

void main() @safe
{int[3] a = [1, 2, 3];int[] slice;//好slice = a[];scope ref getSlice() { return slice; }//错误:把对a局部变量的`引用`赋值给非域`getSlice()`getSlice() = a[];
}

getSlice应该可返回可安全地赋值给'a[]'的引用.

如常,去掉抽象,化简为仅指针时,更清楚:

  @safe void test(){int i;scope int* p = &i;scope ref get() { return p; }get() = &i;}

我不太清楚本地函数上的"域"是否应限定环境指针或返回值.一般,闭包环境是DIP1000不健全的一大根源.
这也会影响非嵌套函数.如:

ref int* getRef(return ref scope int* p) @safe
{return p;
}
void main() @safe
{int n;scope int* p;getRef(p) = &n;
}

在没有像Rust这样成熟的生命期系统时,不确定接受此代码是否可行,但尽量,那肯定会很方便.

问题是它不认为"getRef(p)"是"p"变量.=的右侧使用按值或按引用转义的逻辑,而左侧使用只能返回一个变量的'表达式到变量',因此它放弃了潜在的多变量式.如:

void main() @safe
{int n;scope int* p;(n ? p : p) = &n;
}

错误:把"n"局部变量的引用赋值给非域"*(n?&p:&p)"
这可通过对左边使用相同的按值转义逻辑,并对一切左边变量重复其余的checkAssignEscape逻辑来解决.
它不会有最佳的时间复杂度,但复杂的左边式应该不多.