Dip1000 implicitly tagged with fields

original text
dip1000 Implicit go Closure Property failed .

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); 
}

use -preview=dip1000 Compile time failure , Will interrupt some Function implementation .

---

The following will work :

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); 
}

Be careful
1, to Method Add Domain , Indicates that the method will not escape this.p.
2,int* p;, otherwise , Will ignore the addition Domain .
The possible fix is , If there are no fields indirect , Then implicitly give Method Add Domain Mark .