blob: 18599ae7141819a47600f850b381752c7db7b2c8 (
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
73
74
75
76
77
78
79
80
81
82
83
84
|
/*
object A requires B {
B.X getX() {
return B.getX();
}
void setX(B.X x) {}
}
object B {
class X {}
X getX() {
return new X();
}
void setX(X x) {}
}
object C requires B {
object A;
void test() {
A.setX(B.getX());
}
}
*/
trait _a extends AnyRef with _b {
val a: _a;
val A: A;
type A <: a.AObject;
trait AObject {
def getX(): B.X;
def setX(x: B.X): Unit;
}
}
trait a123 extends AnyRef with _a with _b {
val a: this.type = this;
val A: A = new A();
class A() extends AObject {
def getX(): B.X = B.getX();
def setX(x: B.X) = B.setX(x);
}
}
trait _b {
val b: _b;
val B: B;
type B <: b.BObject;
trait BObject {
type X;
def getX(): X;
def setX(x: X): Unit;
}
}
abstract class b() extends AnyRef with _b {
val b: this.type = this;
val B: B = new B();
class B() extends BObject {
class X() {}
def getX(): X = new X();
def setX(x: X) = ();
}
}
trait _m {
val m: _m;
val M: M;
type M <: m.MObject;
trait MObject {}
}
abstract class m() extends AnyRef with _m with _b {
val m: this.type = this;
val M: M = new M();
class M() extends MObject with a123 with Linker {
def test() = {
val x: B.X = B.getX();
A.setX(x);
}
}
trait Linker {
val b: m.this.b.type = m.this.b;
val B: m.this.B.type = m.this.B;
type B = m.this.B;
val m: m.this.m.type = m.this.m;
val M: m.this.M.type = m.this.M;
type M = m.this.M;
}
}
|
