有人可以解释为什么以下内容无法编译吗?我想那BB[A]
也是一个List[A]
。方法主体仅强制执行此视图。
scala> def x[A, BB[_] <: List[_]](p: BB[A]) {p: List[A]}
<console>:8: error: type mismatch;
found : BB[A]
required: List[A]
def x[A, BB[_] <: List[_]](p: BB[A]) {p: List[A]}
^