Theory question

[BCS]

Reply to Frits,

> BCS wrote:
> 
>> Are there any cases where the following cases both compile but are
>> not identical?
>> 
>> A a;
>> B b;
>> a = b;
>> a.Foo();
>> //// and
>> 
>> A a;
>> B b;
>> a = b;
>> b.Foo();
> struct A {
> int i;
> void Foo() { i = 42; }
> }
> alias A B;
> 
> The first case will set a.i to 42, the second will set b.i.
> 

I wasn't looking for side effect cases  but I guess that is correct.

> And with opAssign + different struct types they'd be calling two
> completely different Foo()s.
> 

Oh, forgot opAssign (darn)

> Then there's array types + global function Foo(ref A), union types
> (similar to struct types), class types + static Foo()s (different ones
> for A and B), ...
> 

ok looks like to much of a mess to make it work