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

[extrawurst via Digitalmars-d]

On Sunday, 29 March 2015 at 17:34:21 UTC, IgorStepanov wrote:
> 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.

thats ok - I can use multiple alias this then to delegate to 
types that use opDispatch, right ? :P

> 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.