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

[deadalnix via Digitalmars-d]

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

That sound overly imitative, but I can roll with that :)

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

I struggled with defining that one, so that is a good thing.

> 3. is(T: B) should raise an error if there are many ways to 
> convert T to B.
>

SDC already reject alias if there are various path that lead to 
the same type.