Может кто-нибудь объяснить, почему следующее не компилируется? Я хочу, чтобы 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]}
^