class A class B object Implicits { implicit def imp(x: A): Int = 41 implicit def imp(x: B): Int = 41 } object Test { // should cause imp to be in scope so that the next expression type checks // `import Implicits._` works import Implicits.imp (new A) : Int }