File tree 3 files changed +8
-9
lines changed 3 files changed +8
-9
lines changed Original file line number Diff line number Diff line change 1
- val_infer.scala:3: error: type mismatch;
2
- found : String("")
3
- required: Int
1
+ val_infer.scala:3: error: overriding method foo in trait Base of type => Int;
2
+ value foo has incompatible type
4
3
trait Sub extends Base { val foo = "" }
5
- ^
4
+ ^
6
5
one error found
Original file line number Diff line number Diff line change 1
1
2
- >> Origins tag 'boop' logged 65 calls from 3 distinguished sources.
2
+ >> Origins tag 'boop' logged 65 calls from 1 distinguished sources.
3
3
4
- 50 Test$$anonfun$f3$1.apply(origins.scala:16)
5
- 10 Test$$anonfun$f2$1.apply(origins.scala:15)
6
- 5 Test$$anonfun$f1$1.apply(origins.scala:14)
4
+ 65 null
Original file line number Diff line number Diff line change @@ -6,6 +6,8 @@ scala> trait T extends B { val x: y.type = y }
6
6
defined trait T
7
7
8
8
scala> println((new T{}).x)
9
- a
9
+ java.lang.AbstractMethodError: $anon$1.$line3$$read$B$_setter_$y_$eq(Ljava/lang/String;)V
10
+ at B$class.$init$(<console>:11)
11
+ ... 67 elided
10
12
11
13
scala> :quit
You can’t perform that action at this time.
0 commit comments