Bug 15544 – Escaping fields to a heap delegate must be disallowed in @safe code

From https://github.com/rejectedsoftware/vibe.d/issues/570 The following code currently compiles fine, but results in a dangling reference to "this.x" when the delegate gets called after the life time of the originating "Test" instance. At least in @safe code, taking the address of a struct field of "this" within a non-scoped delegate must instead result in a compile-time error. --- void delegate() @safe _del; struct Test { int x = 42; @safe void test() { _del = { assert(x == 42); }; } } ---

Commit pushed to scope at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/e61378a715e01e58365df753985d1178d5ba4bd4 fix Issue 15544 - Escaping fields to a heap delegate must be disallowed in @safe code

Commit pushed to master at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/e61378a715e01e58365df753985d1178d5ba4bd4 fix Issue 15544 - Escaping fields to a heap delegate must be disallowed in @safe code

Commit pushed to newCTFE at https://github.com/dlang/dmd https://github.com/dlang/dmd/commit/e61378a715e01e58365df753985d1178d5ba4bd4 fix Issue 15544 - Escaping fields to a heap delegate must be disallowed in @safe code