Thread overview
[Issue 9689] New: std.typecons.Proxy breaks with @disable this(this)
Mar 11, 2013
SHOO
Mar 11, 2013
Kenji Hara
Mar 11, 2013
Kenji Hara
Mar 11, 2013
Walter Bright
March 11, 2013
http://d.puremagic.com/issues/show_bug.cgi?id=9689

           Summary: std.typecons.Proxy breaks with @disable this(this)
           Product: D
           Version: D2
          Platform: All
        OS/Version: All
            Status: NEW
          Severity: regression
          Priority: P2
         Component: DMD
        AssignedTo: nobody@puremagic.com
        ReportedBy: zan77137@nifty.com


--- Comment #0 from SHOO <zan77137@nifty.com> 2013-03-11 07:31:13 PDT ---
This code breaks on dmd git HEAD:

import std.typecons;

struct B(T)
{
    T a;
    @disable this(this);
    mixin std.typecons.Proxy!a;
}
struct S
{
    B!int a;
}
void main()
{
    B!S b;
}

-------
This code is compilable on dmd 2.062.

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
March 11, 2013
http://d.puremagic.com/issues/show_bug.cgi?id=9689


Kenji Hara <k.hara.pg@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |rejects-valid


--- Comment #1 from Kenji Hara <k.hara.pg@gmail.com> 2013-03-11 08:29:29 PDT ---
(In reply to comment #0)
That is introduced this commit:
https://github.com/D-Programming-Language/dmd/commit/391addfda30738089ca220f0d9f025e3842deb1f

Simplified test case:

struct B(T)
{
    T val;
    @disable this(this);

    bool opEquals(this X, B)(auto ref B b)
    {
        pragma(msg, "+", X, ", B = ", B, ", ref = ", __traits(isRef, b));
        return this.val == b.val;
        pragma(msg, "-", X, ", B = ", B, ", ref = ", __traits(isRef, b));
    }
}
struct S
{
    B!int num;
}
void main()
{
    B!S b;
}

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
March 11, 2013
http://d.puremagic.com/issues/show_bug.cgi?id=9689


Kenji Hara <k.hara.pg@gmail.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
           Keywords|                            |pull


--- Comment #2 from Kenji Hara <k.hara.pg@gmail.com> 2013-03-11 09:18:55 PDT ---
https://github.com/D-Programming-Language/dmd/pull/1738

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
March 11, 2013
http://d.puremagic.com/issues/show_bug.cgi?id=9689



--- Comment #3 from github-bugzilla@puremagic.com 2013-03-11 13:11:50 PDT ---
Commits pushed to master at https://github.com/D-Programming-Language/dmd

https://github.com/D-Programming-Language/dmd/commit/880cbefaf30e5d57efb6c1659eacd967ad8855c3 fix Issue 9689 - std.typecons.Proxy breaks with @disable this(this)

https://github.com/D-Programming-Language/dmd/commit/c63a0a1f864bdcf4cb2fcbee9428e9a35d821c43 Merge pull request #1738 from 9rnsr/fix9689

[REG2.063a] Issue 9689 - std.typecons.Proxy breaks with @disable this(this)

-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
March 11, 2013
http://d.puremagic.com/issues/show_bug.cgi?id=9689


Walter Bright <bugzilla@digitalmars.com> changed:

           What    |Removed                     |Added
----------------------------------------------------------------------------
             Status|NEW                         |RESOLVED
                 CC|                            |bugzilla@digitalmars.com
         Resolution|                            |FIXED


-- 
Configure issuemail: http://d.puremagic.com/issues/userprefs.cgi?tab=email
------- You are receiving this mail because: -------