dip1000隐式加域标记

原文
dip1000隐式去闭包属性失败.

struct A {
	void method() pure @safe nothrow @nogc { }
}

void test(scope void delegate() del) @safe { }

void main() @safe {
    A a;

    // OK:
    void delegate() del = &a.method;

    test(&a.method); 
}

用-preview=dip1000编译时失败,会打断一些函数实现.

---

如下会工作:

struct A {
    int* p;
    void method() scope pure @safe nothrow @nogc { }
}

void test(scope void delegate() del) @safe { }

void main() @safe {
    A a;
    test(&a.method); 
}

注意
1,给方法加域,表明方法不会逃逸this.p.
2,int* p;,否则,会忽略掉加的域.
可能修复方法是,如果字段都无间接,则隐式给方法加域标记.