Bug 21517 – Functions nested within `inout` functions can reinterpret `inout`

int* g(immutable(int)* y)pure @safe{ int* foo(inout(int)* x)pure @safe{ int* bar(inout(int)* delegate(inout int)pure @safe z){ return z(2); } return bar((inout t)=>x); } return foo(y); } void main()pure @safe{ auto x=new immutable int; int* y=g(x); assert(x is y); // passes, bad }

THIS ISSUE HAS BEEN MOVED TO GITHUB https://github.com/dlang/dmd/issues/18012 DO NOT COMMENT HERE ANYMORE, NOBODY WILL SEE IT, THIS ISSUE HAS BEEN MOVED TO GITHUB