blob: e6a972e1c6a8a80cf6de128f21540da59e47f505 (
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
67
68
69
70
71
72
|
class Test {
class C { type T; type Coll }
type T1 = C { type T = Int }
type T11 = T1 { type Coll = Set[Int] }
type T2 = C { type Coll = Set[T] }
type T22 = T2 { type T = Int }
var x: T11 = _
var y: T22 = _
x = y
y = x
}
class Test2 {
trait A
trait B
class C { type T }
type T1 = C { type T <: A } { type T <: B }
type U1 = C { type T <: B } { type T <: A }
var x: T1 = _
var y: U1 = _
x = y
y = x
}
class Test3 {
trait A
trait B
class C { type T }
type T1 = C { type T <: A }
type T2 = T1 { type T <: B }
type U1 = C { type T <: B }
type U2 = U1 { type T <: A }
var x: T2 = _
var y: U2 = _
val x1 = x
val y1 = y
x = y
y = x
}
class Test4 {
abstract class A { type T; val xz: Any }
val yy: A { val xz: T } = null;
// val xx: A { val xz: T } = null;
val zz: A { val xz: T } = yy;
}
|
