DIP66 v1.1 (Multiple) alias this.

[Andrei Alexandrescu via Digitalmars-d]

On 12/26/14 12:37 PM, Walter Bright wrote:
> On 12/23/2014 10:17 PM, Andrei Alexandrescu wrote:
>> In fact a better thought: as soon as D is defined, repeated subtyping
>> should be
>> detected as an error. Then there's no question about "is" in the first
>> place :o).
>
> That's a good idea, but I think it is unworkable. What is the set of
> types that B is implicitly convertible too? It's unbounded.

I think it's bounded. Example to the contrary? -- Andrei