1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
|
import scala.reflect.runtime.universe._
object Test {
def foo[T](x: T)(implicit m: TypeTag[T]) {
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)
}
|
