В scala, почему тип псевдонима в классе не может быть передан для наследования?

Question

я следующие классы определены:

файл: PyRef.scala:

package mypackage 
class PyBinding() { 
... 
} 

trait PyRef { 

    type Binding = PyBinding 
} 

файл: Link.scala:

class Link() extends PyRef { 

    override type Binding = Link.PyBindingImpl 
} 

object Link { 
    class PyBindingImpl() extends PyRef#Binding() { 
    } 
} 

В сборнике, была выброшена следующее сообщение об ошибке:

Error:(222, 34) class type required but mypackage.PyBinding found 
       ) extends PyRef#Binding() { 

Почему это происходит, и что мне делать, чтобы обойти его? Я использую Scala 2.10.

Answer 1

Я не думаю, что вы можете использовать типы проекций A#B в Scala в качестве типов способностей. Следующие две вещи работают

trait Link { 
    class PyBindingImpl() extends PyBinding() 
} 

trait Link { 
    val ref: PyRef 

    class PyBindingImpl() extends ref.Binding() 
}