1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17
trait Dummy[T] trait A[T] extends B trait B extends Dummy[A[Int]] object B { implicit def theB: B = new B {} implicit def theA: A[Int] = new A[Int] {} } object Test { def getB(implicit b: B) = b def getA[T](implicit a: A[T]) = a getB getA }