1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
|
import scala.language.{ existentials }
import scala.reflect.runtime.universe._
object Test {
def f() = { case class Bar(x: Int); Bar }
def g() = { case class Bar(x: Int); Bar(5) }
def h() = { case object Bar ; Bar }
val f1 = f()
val g1 = g()
val h1 = h()
def m[T: WeakTypeTag](x: T) = println(weakTypeOf[T] + ", underlying = " + weakTypeOf[T].typeSymbol.info)
def main(args: Array[String]): Unit = {
m(f)
m(g)
m(h)
m(f1)
m(g1)
m(h1)
}
}
class A1[T] {
class B1[U] {
def f = { case class D(x: Int) extends A1[String] ; new D(5) }
}
}
|
