File tree 4 files changed +10
-9
lines changed
4 files changed +10
-9
lines changed Original file line number Diff line number Diff line change 1
- -- Error: tests/init/neg/cycle-structure.scala:3:14 --------------------------------------------------------------------
2
- 3 | val x = B(this) // error
3
- | ^^^^
4
- | Cannot prove that the value is fully initialized. May only use initialized value as arguments.
5
1
-- Error: tests/init/neg/cycle-structure.scala:9:14 --------------------------------------------------------------------
6
2
9 | val x = A(this) // error
7
3
| ^^^^
8
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.
Original file line number Diff line number Diff line change 13
13
| Cannot prove that the value is fully-initialized. May only use initialized value as method arguments.
14
14
|
15
15
| The unsafe promotion may cause the following problem:
16
- | Calling the external method method name may cause initialization errors. Calling trace:
16
+ | Calling the external method method ordinal may cause initialization errors. Calling trace:
17
17
| -> Array(this.LazyErrorId, this.NoExplanationID) // error // error [ enum-desugared.scala:17 ]
18
- | -> override def productPrefix: String = this.name() [ enum-desugared.scala:29 ]
18
+ | -> def errorNumber: Int = this.ordinal() - 2 [ enum-desugared.scala:8 ]
Original file line number Diff line number Diff line change 1
1
class Outer { outer =>
2
2
class Inner extends Outer {
3
- val x = 5 + outer.n
3
+ val x = 5 + outer.n // error
4
4
}
5
5
val inner = new Inner
6
6
val n = 6 // error
Original file line number Diff line number Diff line change 6
6
| -> class A(x: Int) extends Foo(x) { [ local-warm4.scala:6 ]
7
7
| -> val b = new B(y) [ local-warm4.scala:10 ]
8
8
| -> class B(x: Int) extends A(x) { [ local-warm4.scala:13 ]
9
- | -> if y < 10 then increment() [ local-warm4.scala:23 ]
10
- | -> updateA() [ local-warm4.scala:21 ]
9
+ | -> class A(x: Int) extends Foo(x) { [ local-warm4.scala:6 ]
10
+ | -> increment() [ local-warm4.scala:9 ]
11
+ | -> updateA() [ local-warm4.scala:21 ]
You can’t perform that action at this time.
0 commit comments