Bug 18088 – wrong lifetime evaluation of pointers or this-pointers in a struct with @safe

file: app.d ~~~~~~~~~~~~~~~~~~~~~ void main() { A a = A( true); } @safe struct A { bool *lala; this( bool i) { lala = &aVar; } bool aVar = true; } ~~~~~~~~~~~~~~~~~~~~~ $ dmd --version DMD64 D Compiler v2.077.1 ... $ $ dmd app.d app.d(13): Error: address of variable this assigned to this with longer lifetime $ I would say the lifetime of "this" is equal to the lifetime of "this", but not longer

i'd say that dmd is absolutely right here. remember that struct can be *moved* by the compiler at any time, and stored `&aVar` will point to random memory after that. so while compiler is correctly forbidding that construct in @safe code, the error message is really misleading, and doesn't help at all. i think that it's better to fix bug description to something like "misleading error message", or alike.

I gave a bad example. file: app2.d ~~~~~~~~~~~~~~~~~~~~~ void main() { A a = A( true); } @safe struct A { bool delegate() lala; this( bool i) { lala = &aFunc; } bool aFunc() { return true; } } ~~~~~~~~~~~~~~~~~~~~~ $ $ dmd app2.d app2.d(12): Error: address of variable this assigned to this with longer lifetime $ so, I thought the pointer to a function shouldnt change when copying the struct.

still the same thing: delegate holds the hidden pointer to `this` (aka pointer to struct), and struct can be moved.

okay, I was misleaded. My actual ambition was to point to functions of structs (since I believe they are static). So, it is another issue

still, error message should be better, 'cause it explains nothing now. ;-) would you, please, fix bug title? or, maybe, close this bug and open a new one, i don't know what will be better.