scala self-type: член типа ошибка параметра

Question

Это продолжение к this question.

Почему этот код не компилируется и как его исправить?

trait Vec[V] { self:V => 
    def -(v:V):V 
    def dot(v:V):Double 

    def norm:Double = math.sqrt(this dot this) 
    def dist(v:V):Double = (this - v).norm 
} 

Ошибка:

Vec.scala:6: error: value norm is not a member of type parameter V 
    def dist(v:V):V = (this - v).norm 
          ^

Answer 1

правильного решения является:

trait Vec[V <: Vec[V]] { self:V => 
    def -(v:V):V 
    def dot(v:V):Double 

    def norm:Double = math.sqrt(this dot this) 
    def dist(v:V):Double = (this - v).norm 
} 

Принадлежит к Debilski для ответа до related question.

Answer 2

Изменяя определение - к

def -(v:V):Vec[V]