File tree Expand file tree Collapse file tree 2 files changed +18
-12
lines changed Expand file tree Collapse file tree 2 files changed +18
-12
lines changed Original file line number Diff line number Diff line change 1
- -- Error: tests/init/neg/cycle-structure.scala:9:14 --------------------------------------------------------------------
2
- 9 | val x = A(this) // error
3
- | ^^^^
4
- | Cannot prove that the value is fully initialized. May only use initialized value as arguments.
5
- -- Error: tests/init/neg/cycle-structure.scala:3:14 --------------------------------------------------------------------
6
- 3 | val x = B(this) // error
7
- | ^^^^
8
- | Cannot prove that the value is fully initialized. May only use initialized value as arguments.
1
+ -- Error: tests/init/neg/cycle-structure.scala:2:15 --------------------------------------------------------------------
2
+ 2 | val x1 = b.x // error
3
+ | ^^^
4
+ | Access field A.this.b.x on a value with an unknown initialization status. Calling trace:
5
+ | -> val x = A(this) [ cycle-structure.scala:9 ]
6
+ | -> case class A(b: B) { [ cycle-structure.scala:1 ]
7
+ -- Error: tests/init/neg/cycle-structure.scala:8:15 --------------------------------------------------------------------
8
+ 8 | val x1 = a.x // error
9
+ | ^^^
10
+ | Access field B.this.a.x on a value with an unknown initialization status. Calling trace:
11
+ | -> val x = A(this) [ cycle-structure.scala:9 ]
12
+ | -> case class A(b: B) { [ cycle-structure.scala:1 ]
13
+ | -> val x = B(this) [ cycle-structure.scala:3 ]
14
+ | -> case class B(a: A) { [ cycle-structure.scala:7 ]
Original file line number Diff line number Diff line change 1
1
case class A (b : B ) {
2
- val x1 = b.x
3
- val x = B (this ) // error
2
+ val x1 = b.x // error
3
+ val x = B (this )
4
4
val y = x.a
5
5
}
6
6
7
7
case class B (a : A ) {
8
- val x1 = a.x
9
- val x = A (this ) // error
8
+ val x1 = a.x // error
9
+ val x = A (this )
10
10
val h = x.b
11
11
}
You can’t perform that action at this time.
0 commit comments