blob: 7b57ddc1eb7f8592d12392ae1d46587dd4553398 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
|
trait T[@specialized A] {
def t(a: A): Unit
}
object Test {
def main(args: Array[String]): Unit = {
class TInt extends T[Int] { def t(a : Int) = println(a) }
val tMethods = classOf[TInt].getInterfaces.head.getMethods.filter(_.getName == "t")
println(tMethods.map(_.toString).sorted.mkString("\n"))
new TInt().t(0)
def call[A](t: T[A], a: A) = t.t(a)
call[Int](new TInt(), 0)
}
}
|