blob: 19b660688f345600286fc5bd29fe33fc8b93a2f5 (
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
|
class Foo[@specialized T] {
var v: T = _
def foo(x: T): T = x
println("abc")
class Bar[@specialized U] {
def bar(x: U): T = v
// def barInt(x: Int): T = bar(x.asInstanceOf[U])
}
}
class Test {
def test: Unit = {
val a = new Foo[Int]
val b = new a.Bar[Int]
a.foo(10)
b.bar(11)
}
}
/*
abstract class Foo[@specialized T] {
def foo(x: T): T
def foo$Int(x: Int): Int
abstract class Bar[@specialized U] {
def bar(x: U): T
def bar$Int(x: Int): T
}
abstract class Bar$Int extends Bar[Int] {
def bar(x: Int): T = bar$Int(x)
def bar$Int(x: Int): T
}
}
abstract class Foo$Int extends Foo[Int] {
def foo(x: Int): Int = foo$Int(x)
def foo$Int(x: Int): Int
abstract class Bar[@specialized U] {
def bar(x: U): Int
def bar$Int(x: Int): Int
}
abstract class Bar$Int extends Bar[Int] {
def bar(x: Int): Int = bar$Int(x)
def bar$Int(x: Int): Int
}
}
*/
|