d类型安全变参应为域

原文
类型安全类型类的变参函数参数应是域
类型安全可变参数
可在栈上分配类对象,因此类型安全的可变类参数应自动为域.

@safe:
class C { int x; }
ref int g(scope C c ...) {
    return c.x;
}

正确发出错误:不能返回c域变量,而

ref int g(scope C c ...) {
    return c.x;
}

错误的无误编译.