隐藏的Scala错误消息

Question

Scala代码有什么问题？

trait A[E]
trait B[E, F[_]] extends A[F[E]]
trait C[E]
trait D[E] extends B[E, C[E]]

它产生错误消息“C [E]不接受任何类型参数，预期：一个”

是编译器（2.10.3）的错误吗？

谢谢

Answer 1

我认为D应定义为：

trait D[E] extends B[E, C]

B的第二个通用参数应采用单个类型参数，而C[E]不采用任何参数。