blob: 3a957bf0d69b2b12b954081f783aa145c4e56f1a (
plain) (
tree)
|
|
import scala.reflect.runtime.universe._
object Test {
def foo[T](x: T)(implicit m: TypeTag[T]): Unit = {
foo(List(x))
}
foo(1)
foo("abc")
foo(List(1, 2, 3))
val x: List[Int] with Ordered[List[Int]] = null
foo(x)
foo[x.type](x)
abstract class C { type T = String; val x: T }
val c = new C { val x = "abc" }
foo(c.x)
abstract class D { type T; implicit val m: TypeTag[T]; val x: T }
val stringm = implicitly[TypeTag[String]]
val d: D = new D { type T = String; val m = stringm; val x = "x" }
import d.m
foo(d.x)
}
|