Re: [scala] Question on overriding virtual types

> This is a compiler bug. I don't know why the override modifier is
> allowed for member traits, I don't think it should. However, you don't
> even need the override. The following compiles:
>
> trait A {
>    type T
>    def t: T
> }
>
> trait B extends A {
>    trait T {
>      def f {}
>    }
> }
>
> object C extends B {
>    trait T {
>      def g {}
>    }
>    def t = new T {}
> }
>
> but when you call C.t, you get a CCE since C.T and A.T are not
> compatible. Please file a ticket, if there isn't already one.
>
> Thanks
>
> Ingo
>
> Vladimir Reshetnikov wrote:
>> Hi,
>>
>> I need help to gain some intuition behind virtual types. Consider this
>> code:
>>
>> ///////////////////////////////////////////////////
>> trait A {
>>   type T
>>   def f(x : T) : T
>> }
>>
>> trait B extends A {
>>   trait T { }
>>   override def f(x : T) : T = x
>> }
>>
>> object C extends B {
>>   override trait T {
>>     def g {  }
>>   }
>>   override def f(x : T) : T = { x.g; x }
>> }
>>
>> ///////////////////////////////////////////////////
>>
>> Which members are overridden by the members T and f in the object C?
>> Are those T and f in trait B?
>> How is it possible to override trait T in B with completely unrelated
>> trait T in C?
>>
>>
>> Thanks,
>> Vladimir
>> .
>>
>
>