blob: a01be181d65f3c1624d9b002a8cea992e7ef6244 (
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
|
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
}
|