1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16 17 18 19 20 21 22
|
import language._
object Test extends App {
case class R[+T](s: String) { def x() = println(s) }
// Implicits in contention; StringR is nested to avoid ambiguity
object R { implicit val StringR = R[String]("A") }
implicit val Default = R[Any]("B")
class B() extends Dynamic {
def selectDynamic[T](f: String)(implicit r: R[T]): Unit = r.x()
}
val b = new B()
// These should all produce the same output, but they don't
b.selectDynamic[String]("baz")
b.baz[String]
val c = b.selectDynamic[String]("baz")
val d = b.baz[String]
}
|