DIP66 1.2 (Multiple) alias this. Continuation of work.
deadalnix via Digitalmars-d
digitalmars-d at puremagic.com
Sun Mar 29 11:38:40 PDT 2015
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.
More information about the Digitalmars-d