Как абстрактно расширить трейт, зависящий от пути: переопределить трейт?

Это работает:

(1) Определите базу trait во включающем признаке и сделайте ее верхней границей для абстрактного type.

(2) Создайте объект-контейнер с оператором object, а не с оператором val.

(3) Поместите переопределение класса в object, определив вложенный trait с тем же именем, что и абстрактный type. Это определение должно расширять базу trait и не должно не содержать ключевое слово override.

Вот (1), закрывающий признак:

trait DeltaSet {
  type PertainsTo

  trait BaseDelta {
    val pertainsTo: PertainsTo
  }

  type Delta <: BaseDelta          // <-- Since this is now a type, we can override it...
  . . .
}

Вот (2) object, определяющий конкретное DeltaSet, и (3) переопределение класса, определяющее Delta:

object deltaSet extends DeltaSet {
  override type PertainsTo = UnorderedPair[TestNode]

  trait Delta extends BaseDelta {  // ...except we don't override, we just define a trait
    val source: TestNode           // with the same name as the abstract type.
  }
  . . .
}

Я предполагаю, что причина, по которой object компилируется, а val терпит неудачу, заключается в том, что val не определяет пространство имен, а нам нужно пространство имен, чтобы ссылаться на закрытый, переопределенный трейт Delta, когда мы подклассифицируем его здесь:

case class MakeLinkDelta(fromNode: TestNode, toNode: TestNode)
  extends deltaSet.Delta           // Since deltaSet is a namespace, the dot syntax can refer
{                                  // to the Delta trait inside it.
  override val pertainsTo = new UnorderedPair(fromNode, toNode)
  override val source = fromNode
  . . .
}

(Эта последняя часть не отличается от кода в вопросе.)

Расширьте DeltaSet и его Delta, добавив атрибут source:

trait DeltaSetTN extends DeltaSet {
  override type PertainsTo = UnorderedPair[TestNode]
  trait DeltaTN extends Delta {
    val source: TestNode
  }
}

Затем:

class MakeLinkDelta(fromNode: TestNode, toNode: TestNode) extends DeltaSetTN {
  val delta = new DeltaTNImpl()
  class DeltaTNImpl extends DeltaTN {
    override val source = fromNode
    override val pertainsTo = new UnorderedPair[TestNode](fromNode, toNode)
  }
}

Вас может заинтересовать этот сообщение в блоге о внедрении зависимостей в Scala и шаблоне торта.