Почему неявный сбой, когда расширенный класс является общим для Scala?

Question

Почему следующий код работает:

class X 

class A(implicit c: X) 
class B(arg: Int)(implicit c: X) extends A 
class C(arg: Int)(implicit c: X) extends B(arg) 

Но не этот:

class X 

class A(implicit c: X) 
class B[T](arg: T)(implicit c: X) extends A 
class C(arg: Int)(implicit c: X) extends B(arg) 

Который не может со следующей ошибкой:

error: could not find implicit value for parameter c: core.X

class C(arg: Int)(implicit c: X) extends B(arg)

Answer 1

Это похоже на работу, если вы помогаете при вызове конструктора для B:

class X 

class A(implicit c: X) 
class B[T](arg: T)(implicit c: X) extends A 
class C(arg: Int)(implicit c: X) extends B[Int](arg) 

Так что это не похоже на фундаментальное ограничение. Но сообщение об ошибке, которое вы не указали, очень бесполезно. не смог найти неявное значение для параметра c: X.