了解Scala GADT支持的限制

sealed trait A[-K,+V]
case class B[+V]() extends A[Option[Unit],V]

case class Test[U]() { 
  def test[V](t: A[Option[U],V]) = t match {
    case B() => null // constructor cannot be instantiated to expected type; found : B[V] required: A[Option[U],?V1] where type ?V1 <: V (this is a GADT skolem)
  }
  def test2[V](t: A[Option[U],V]) = Test2.test2(t)
}

object Test2 {
  def test2[U,V](t: A[Option[U],V]) = t match {
    case B() => null // This works
  }
}

有几种方法可以使错误更改或消失：

如果我们删除trait A(和case B类)上的V参数,错误的“GADT-Skolem”部分就会消失,但是“构造函数不能被实例化”的部分仍然存在.

如果我们将Test类的U参数移动到Test.test方法,则该错误消失.为什么(类似地,Test2.test2中不存在该错误)

以下链接也标识出这个问题,但我不明白提供的解释. http://lambdalog.seanseefried.com/tags/GADTs.html

这是编译器中的错误吗？ (2.10.2-RC2)

感谢您的任何帮助澄清.

2014/08/05：我已经设法进一步简化代码,并提供另一个例子,其中U绑定在即时函数之外,而不会导致编译错误.我仍然在2.11.2中看到这个错误.

sealed trait A[U]
case class B() extends A[Unit]

case class Test[U]() {
  def test(t: A[U]) = t match {
    case B() => ??? // constructor cannot be instantiated to expected type; found : B required: A[U]
  }
}

object Test2 {
  def test2[U](t: A[U]) = t match {
    case B() => ??? // This works
  }
  def test3[U] = {
    def test(t: A[U]) = t match {
      case B() => ??? // This works
    }
  }
}

像这样简化,这看起来更像编译器的bug或限制.还是我错过了什么？