Члены типа Scala не компилируются

Question

Я написал следующий простой пример и ожидал, что он будет хорошо скомпилирован:

abstract class TestObject extends App{
  type Type

  def method[F[_]](ft: F[Type], t: Test[F]{
    type Type = TestObject#Type
  }) = t.doSomeAction(ft) //ERROR
}

trait Test[F[_]]{
  type Type
  def doSomeAction(t: F[Type]) = println(t)
}

ideone demo

Но компилятор выводит следующее сообщение об ошибке:

Error:(8, 23) type mismatch;
 found   : ft.type (with underlying type F[TestObject.this.Type])
 required: F[t.Type]
    (which expands to)  F[TestObject#Type]
Note: TestObject.this.Type <: t.Type, but type F is invariant in type _.
You may wish to define _ as +_ instead. (SLS 4.5)
  }) = t.doSomeAction(ft)

Я не совсем понимаю, так как Test#Type = TestObject#Type.

Answer 1

Итак, проблема в том, что TestObject#Type захватывает экзистенциальный тип, который не тот, который вы хотите.вы хотите убедиться, что Type из определенных экземпляров выстроены в линию.Вы можете сделать это следующим образом:

https://scalafiddle.io/sf/wpI8iGg/0

или чаще с Aux-Pattern

https://scalafiddle.io/sf/wpI8iGg/1