С помощью этой части кода:
trait B[T]
trait C[T]
class A[T] extends B[A[C[T]]]
Я получаю следующую ошибку:
error: class graph is not finitary because type parameter T is expansively recursive
class A[T] extends B[A[C[T]]]
^
Может кто-нибудь объяснить, что такое сообщение об ошибке, почему T
является бесконечно рекурсивным и почему работает следующий код?
class A[T] extends B[A[T]]