object Main extends App { val t1 = "test1" val t2 = "test2" trait F[T] { def value: Int } implicit val t1F = new F[t1.type] { override def value = 1 } implicit val t2F = new F[t2.type] { override def value = 1 } def a[T : F](x1: T) = implicitly[F[T]].value println(a(t1 : t1.type)) println(a(t2 : t2.type)) }