存在类型和类型成员的 Scala 类型推断

以下代码无法编译：

trait A[F] {
  def find(x: Int): F
  def fill(f: F): Unit
}

object TestA {
  def test[T <: A[F] forSome { type F }](t: T) =
    t.fill(t.find(0))
}

它返回以下编译错误：

test.scala:8: error: type mismatch;
 found   : (some other)F(in type T)
 required: F(in type T)
    t.fill(t.find(0))
                 ^

然而下面的代码就很好地符合要求：

trait B[F] {
  type R = F
  def find(x: Int): R
  def fill(f: R): Unit
}

object TestB {
  def test[T <: B[F] forSome { type F }](t: T) =
    t.fill(t.find(0))
}

我这里有两个问题：

1. 我希望第一段代码能够编译。为什么不呢？

2. 如果第一段代码有充分的理由无法编译，那么出于同样的原因，我希望第二段代码也不会编译。那么如何才能编译成功呢？

其中任何一个都是错误吗？

我不知道编译器为什么要区分这两段代码。基本上，代码无法编译，因为返回的类型find以及预期的类型fill不必相同F，至少如果find and fill在两个不同的对象上被调用。

您可以使用以下代码来编译第一段代码：

def test[T <: A[F], F](t: T) =
  t.fill(t.find(0))

你可以使第二段代码不编译：

def test[T <: B[F] forSome { type F }](t: T, u: T) =
  t.fill(u.find(0))

这应该是一条评论而不是一个答案，但我还没有 50 声望。