DMD v2.075.0:
@safe:
int a;
immutable(int) b=2;
inout(int)* delegate(inout(int)*)@safe delegate()@safe foo(inout(int)* y){
inout(int)* bar(inout(int)* p){
return y;
}
return ()=>&bar;
}
void main(){
int* y=foo(&b)()(&a);
*y=3;
assert(&b is y); // passes. ouch.
assert(b is *&b); // fails!
}
If &bar is returned directly instead of ()=>&bar, DMD applies a strange work-around (it replaces `inout` in the returned delegate by `const`).
Comment #1 by robert.schadek — 2024-12-13T18:54:01Z