Предоставление зависимого от пути типа, поступающего от одноэлементного типа

Question

Я пытаюсь заставить Scala найти правильный тип для зависимого от пути типа, поступающего из одноэлементного типа.

Во-первых, вот контейнер типов для примера и один экземпляр:

trait Container {
  type X
  def get(): X
}

val container = new Container {
  type X = String
  def get(): X = ""
}

Я вижу строку в этой первой попытке (поэтому у меня уже есть рабочий сценарий):

class WithTypeParam[C <: Container](val c: C) {
  def getFromContainer(): c.X = c.get()
}

val withTypeParam = new WithTypeParam[container.type](container)

// good, I see the String!
val foo: String = withTypeParam.getFromContainer()

Но когда нет параметра типа, это больше не работает.

class NoTypeParam(val c: Container) {
  def getFromContainer(): c.X = c.get()
}

val noTypeParam = new NoTypeParam(container)

// this does *not* compile
val bar: String = noTypeParam.getFromContainer()

Кто-нибудь знает, зачем нужен параметр типа?

Answer 1

См. эту ветку о внутренностях скалы, в частности объяснение Адриана.