拡張クラスがScalaでGenericであるときに暗黙的に失敗するのはなぜですか？

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) 

ではなく、この1：

次のエラーで失敗し

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。