d在自动返回中扩展返回语义不工作

原文

auto assign(ref scope int* x, return ref int y) @safe
{
    x = &y;
}

auto assign(ref scope int* x, return scope int* y) @safe
{
    x = y;
}

y赋值给生命期更长的x
更改返回类型为void则通过.未确定返回类型时,isFirstRef()函数返回false.

你的分析是正确的if (!tf.nextOf()) return false;
也许可以在函数未看到return语句时,设置一个标志.
呃,就是在分析语义前扫描语句AST,也就是慢.
无论如何,我认为这不是个问题,如果没有"return"语句,为什么要返回"auto"?