object IllegalInheritance {
  trait A
  implicit def a = new A {}            // def => val
  //val r = implicitly[A]              // uncomment

  class B[T](t : T)(implicit a : A)    // remove implicit param block

  class C extends B/*[Int]*/(23)       // uncomment
  val c = new C                        // comment
}

bug.scala:8: error: could not find implicit value for parameter a: IllegalInheritance.A
  class C extends B/*[Int]*/(23)       // uncomment
          ^
bug.scala:8: error: illegal inheritance;
 self-type IllegalInheritance.C does not conform to IllegalInheritance.B[Int]'s selftype IllegalInheritance.B[Int]
  class C extends B/*[Int]*/(23)       // uncomment
                  ^
two errors found