scala中不同类型的路径依赖类型的特征

trait OuterTrait {
  type InnerType
}

现在我们可以写一些非泛型函数someAlgo：

def pairToString[S,U](x: S,y: U): String = 
  "{" + y.toString + " in " + x.toString + "}"

def pairPrintln[S,y: U) {
  println(pairToString(x,y))
}

def someAlgo(x: OuterTrait)(y: x.InnerType): x.InnerType = {
  pairPrintln(x,y)
  y
}

和一系列通用功能：

def someAlgoObjObj[T <: OuterTrait](x: T)(y: x.InnerType): x.InnerType = {
  pairPrintln(x,y)
  y
}

def someAlgoObjType[T <: OuterTrait](x: T)(y: x.InnerType): T#InnerType = {
  pairPrintln(x,y)
  y
}

def someAlgoTypeType[T <: OuterTrait](x: T)(y: T#InnerType): T#InnerType = {
  pairPrintln(x,y)
  y
}

而另一个通用函数不编译：

def someAlgoTypeObj[T <: OuterTrait](x: T)(y: T#InnerType): x.InnerType = {
  pairPrintln(x,y)
  y
}

看起来：
1)someAlgo和someAlgoObjObj是最正确的函数;
2)在这个例子中根本没有使用泛型函数的意义.

我想澄清上面的通用函数之间的一些差异.请纠正我,如果我犯了错误.

因此,据我所知,类型T对应于静态类型的x(称为X)或显式类型的通用调用(我的意思是algo [Int]).这就是T#InnerType对应于X类型声明中的类型的原因.但x.InnerType也对应于静态类型x的InnerType.区别在哪里？

进一步… someAlgoObjType编译,因此似乎x.InnerType必须是T#InnerType的子类型.然后,someAlgoTypeObj无法编译,因为我们无法隐式地进行向下转换.虽然我们可以改写最后一个：

def someAlgoTypeObj[T <: OuterTrait](x: T)(y: T#InnerType): x.InnerType = {
  pairPrintln(x,y)
  y.asInstanceOf[x.InnerType]
}

UPD1：我发现someAlgoObjObj和someAlgoTypeType之间存在一个区别,如果将它们与显式类型参数一起使用.如果我们编写一些扩展OuterTrait的类：

class OuterIntClass extends OuterTrait{
  type InnerType = Int
}
val x: OuterIntClass = new OuterIntClass()
val y: Int = 5

然后：

someAlgoObjObj[OuterTrait](x)(y) // OK

和下一个电话不起作用：

someAlgoTypeType[OuterTrait](x)(y)