[Issue 17456] [REG2.075a] spurious lifetime diagnostic on delegates

[via Digitalmars-d-bugs]

https://issues.dlang.org/show_bug.cgi?id=17456

b2.temp at gmx.com changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|RESOLVED                    |REOPENED
         Resolution|INVALID                     |---

--- Comment #3 from b2.temp at gmx.com ---
(In reply to ag0aep6g from comment #2)
> (In reply to b2.temp from comment #0)
> > struct Foo
> > {
> >     private void delegate() dg;
> >     void assign() @safe {dg = &sameThis;}
> >     void sameThis(){}
> > }
> > ===
> > 
> > yield: "address of variable this assigned to this with longer lifetime"
> 
> As far as I see, the code is unsafe. Call `assign` on a Foo, then copy the
> Foo. The context pointer of the new dg will refer to the old Foo. Let the
> old Foo go out of scope. The context pointer now points to garbage.
> 
> I'm closing as invalid. Just reopen if I'm missing something.
> 
> In code:
> 
> ----
> struct Foo
> {
>     int x;
>     private void delegate() dg;
>     void assign() /*@safe*/ {dg = &sameThis;}
>     void sameThis() { import std.stdio; writeln(x); }
> }
> 
> void f(ref Foo dst)
>     /* ref parameter instead of return value, because dmd is smart
>     enough to avoid the copy when returning. */
> {
>     Foo foo;
>     foo.x = 42;
>     foo.assign();
>     dst = foo;
> }
> 
> void main()
> {
>     Foo foo;
>     f(foo);
>     (){ int[100] stomp = 13; }();
>     foo.dg(); /* prints garbage (here: contents of 'stomp') */
> }
> ----

Of course, this is a struct.

Now what if i add

    @disable this(this);
    @disable void opAssign(Foo);

And everything that disable value move ?
It seems that the error is still emitted, right ?

--