blob: 951cc8d9315dcbf9f67c83f36afd368b736f77be (
plain) (
blame)
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
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
|
class AnyVals {
def f1 = (5: Any).getClass
def f2 = (5: AnyVal).getClass
def f3 = 5.getClass
def f4 = (5: java.lang.Integer).getClass
def f5 = (5.asInstanceOf[AnyRef]).getClass
// scalap says:
//
// def f1 : java.lang.Class[?0] forSome {type ?0} = { /* compiled code */ }
// def f2 : java.lang.Class[?0] forSome {type ?0} = { /* compiled code */ }
// def f3 : java.lang.Class[scala.Int] = { /* compiled code */ }
// def f4 : java.lang.Class[?0] forSome {type ?0 <: java.lang.Integer} = { /* compiled code */ }
// def f5 : java.lang.Class[?0] forSome {type ?0 <: scala.AnyRef} = { /* compiled code */ }
//
// java generic signature says:
//
// f1: java.lang.Class<?>
// f2: java.lang.Class<?>
// f3: java.lang.Class<java.lang.Object>
// f4: java.lang.Class<? extends java.lang.Integer>
// f5: java.lang.Class<?>
}
class AnyRefs {
class A
class B extends A
def f1 = (new B: Any).getClass().newInstance()
def f2 = (new B: AnyRef).getClass().newInstance()
def f3 = (new B: A).getClass().newInstance()
def f4 = (new B: B).getClass().newInstance()
def f0[T >: B] = (new B: T).getClass().newInstance()
def f5 = f0[Any]
def f6 = f0[AnyRef]
def f7 = f0[A]
def f8 = f0[B]
}
class MoreAnyRefs {
trait A
trait B
// don't leak anon/refinements
def f1 = (new A with B { }).getClass()
def f2 = (new B with A { }).getClass()
def f3 = (new { def bippy() = 5 }).getClass()
def f4 = (new A { def bippy() = 5 }).getClass()
}
object Test {
def returnTypes[T: Manifest] = (
manifest[T].erasure.getMethods.toList
filter (_.getName startsWith "f")
sortBy (_.getName)
map (m => m.getName + ": " + m.getGenericReturnType.toString)
)
def main(args: Array[String]): Unit = {
returnTypes[AnyVals] foreach println
returnTypes[AnyRefs] foreach println
returnTypes[MoreAnyRefs] foreach println
}
}
|