scala的类型检查器无法识别抽象路径依赖类场景中的类型

object Outer {

  trait X {
    type T
    val empty: T
  }

现在我们可以创建它的一个实例：

val x = new X {
    type T = Int
    val empty = 42
  }

Scala现在认识到,x.empty是一个Int：

def xEmptyIsInt = x.empty: Int

现在,让我们定义另一个类

case class Y(x: X) extends X {
    type T = x.T
    val empty = x.empty
  }

并制作一个实例

val y = Y(x)

但是现在Scala无法推断y.empty属于Int类型.下列

def yEmptyIsInt = y.empty: Int

现在生成错误消息：

error: type mismatch;
found   : y.x.T
required: Int
       y.empty : Int

为什么会这样？这是一个scala bug吗？

我们可以通过向case类引入参数来缓解此问题：

case class Z[U](x: X { type T = U }) extends X {
    type T = U
    val empty = x.empty
  }

然后再次运作

val z = Z(x)
  def zEmptyIsInt: Int = z.empty

但我们总是要在呼叫现场提到X内的所有类型.理想情况下,这应该是一个实现细节,导致以下方法：

case class A[U <: X](z: U) extends X {
    type T = z.T
    val empty = z.empty
  }

这也减轻了这个问题

val a = A(x)
  def aEmptyIsInt: Int = a.empty

}

总而言之,我的问题如下：为什么简单的情况不起作用？这是一个有效的解决方法吗？当我们遵循两种解决方法之一时,可能会出现哪些其他问题？有更好的方法吗？