Re: Understanding opAssign and 'alias this'

[Maurice]

On Monday, 14 October 2013 at 10:45:26 UTC, Maurice wrote:
On Monday, 14 October 2013 at 09:32:15 UTC, Maxim Fomin wrote:
On Monday, 14 October 2013 at 09:17:12 UTC, John Colvin wrote:
Everything is working fine except for the error on [2] when 
xxx == true, which I think is a bug.

minimised test:

struct A
{
      void opAssign(A a) {}
}

struct B {
      A a;
      alias a this;
}

void main() {
      A a;
      B b;
      b = a;
}

Error: function assign.B.opAssign (B p) is not callable using 
argument types (A)

This does not work (and need not) because compiler generates 
default function B.opAssign(B) which is really not callable 
using argument types (A).

Then why does it work when replacing "opAssign(A a)" with 
"opAssign(int)"?

struct A {
        void opAssign(int) {}
}

struct B {
        A a;
        alias a this;
}

void main() {
        A a;
        B b;
        b = a; // This now compiles fine...
}

Or when just not defining any opAssign: struct A {}, that also 
works. I don't get how adding a opAssign(A) disables 'b = a'.