DIP66 1.2 (Multiple) alias this. Continuation of work.

[IgorStepanov via Digitalmars-d]

On Sunday, 29 March 2015 at 08:03:37 UTC, deadalnix wrote:
> On Saturday, 28 March 2015 at 19:52:15 UTC, IgorStepanov wrote:
>> http://wiki.dlang.org/DIP66
>>
>> First I want to apologize for the long absence.
>> I was very busy for those months and now I ready to continue 
>> the work.
>>
>> This DIP has been approved with three clarifications:
>> about is-expression, about opDispatch and about "common" 
>> inheritance.
>> I've reflected those clarifications in this DIP version, and 
>> if it is OK, I'll start adaptation of my github PR to this DIP.
>
> Can you explain the change from current situation a bit ?

Do you mean "changes from previous DIP version"?
I've added three ideas to this version:
1. We should reject types which use opDispatch and alias this at 
the same time.
2. We want to semantic alias this at the same time as an 
inheritance (and disallow hidding of "alias this"-ed members by 
inherited members), but we shouldn't do this change now, because 
it may break a lot of existing code.
3. is(T: B) should raise an error if there are many ways to 
convert T to B.

If you ask about changes from current alias this implementation, 
this DIP introduces multiple alias this, and formally discribes 
different cases.