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
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
|
trait_fields_conflicts.scala:5: error: overriding value x in trait Val of type Int;
value x needs `override' modifier
trait ValForVal extends Val { val x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:6: error: overriding value x in trait Val of type Int;
variable x needs `override' modifier
trait VarForVal extends Val { var x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:7: error: overriding value x in trait Val of type Int;
method x needs `override' modifier
trait DefForVal extends Val { def x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:8: error: overriding variable x in trait Var of type Int;
value x needs `override' modifier
trait ValForVar extends Var { val x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:9: error: overriding variable x in trait Var of type Int;
variable x needs `override' modifier
trait VarForVar extends Var { var x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:10: error: overriding variable x in trait Var of type Int;
method x needs `override' modifier
trait DefForVar extends Var { def x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:11: error: overriding lazy value x in trait Lazy of type Int;
value x needs `override' modifier
trait ValForLazy extends Lazy { val x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:12: error: overriding lazy value x in trait Lazy of type Int;
variable x needs `override' modifier
trait VarForLazy extends Lazy { var x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:13: error: overriding lazy value x in trait Lazy of type Int;
method x needs `override' modifier
trait DefForLazy extends Lazy { def x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:16: error: overriding value x in trait Val of type Int;
variable x needs to be a stable, immutable value
trait VarForValOvr extends Val { override var x: Int = 1 } // bad override
^
trait_fields_conflicts.scala:17: error: overriding value x in trait Val of type Int;
method x needs to be a stable, immutable value
trait DefForValOvr extends Val { override def x: Int = 1 } // bad override
^
trait_fields_conflicts.scala:18: error: overriding variable x in trait Var of type Int;
value x cannot override a mutable variable
trait ValForVarOvr extends Var { override val x: Int = 1 } // bad override -- unsound if used in path and var changes
^
trait_fields_conflicts.scala:19: error: overriding variable x in trait Var of type Int;
variable x cannot override a mutable variable
trait VarForVarOvr extends Var { override var x: Int = 1 } // bad override -- why?
^
trait_fields_conflicts.scala:20: error: overriding variable x in trait Var of type Int;
method x cannot override a mutable variable
trait DefForVarOvr extends Var { override def x: Int = 1 } // bad override -- why?
^
trait_fields_conflicts.scala:21: error: overriding lazy value x in trait Lazy of type Int;
value x must be declared lazy to override a concrete lazy value
trait ValForLazyOvr extends Lazy { override val x: Int = 1 } // bad override -- why?
^
trait_fields_conflicts.scala:22: error: overriding lazy value x in trait Lazy of type Int;
variable x needs to be a stable, immutable value
trait VarForLazyOvr extends Lazy { override var x: Int = 1 } // bad override -- why?
^
trait_fields_conflicts.scala:23: error: overriding lazy value x in trait Lazy of type Int;
method x needs to be a stable, immutable value
trait DefForLazyOvr extends Lazy { override def x: Int = 1 } // bad override -- why?
^
trait_fields_conflicts.scala:25: error: overriding value x in trait Val of type Int;
value x needs `override' modifier
class CValForVal extends Val { val x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:26: error: overriding value x in trait Val of type Int;
variable x needs `override' modifier
class CVarForVal extends Val { var x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:27: error: overriding value x in trait Val of type Int;
method x needs `override' modifier
class CDefForVal extends Val { def x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:28: error: overriding variable x in trait Var of type Int;
value x needs `override' modifier
class CValForVar extends Var { val x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:29: error: overriding variable x in trait Var of type Int;
variable x needs `override' modifier
class CVarForVar extends Var { var x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:30: error: overriding variable x in trait Var of type Int;
method x needs `override' modifier
class CDefForVar extends Var { def x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:31: error: overriding lazy value x in trait Lazy of type Int;
value x needs `override' modifier
class CValForLazy extends Lazy { val x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:32: error: overriding lazy value x in trait Lazy of type Int;
variable x needs `override' modifier
class CVarForLazy extends Lazy { var x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:33: error: overriding lazy value x in trait Lazy of type Int;
method x needs `override' modifier
class CDefForLazy extends Lazy { def x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:36: error: overriding value x in trait Val of type Int;
variable x needs to be a stable, immutable value
class CVarForValOvr extends Val { override var x: Int = 1 } // bad override
^
trait_fields_conflicts.scala:37: error: overriding value x in trait Val of type Int;
method x needs to be a stable, immutable value
class CDefForValOvr extends Val { override def x: Int = 1 } // bad override
^
trait_fields_conflicts.scala:38: error: overriding variable x in trait Var of type Int;
value x cannot override a mutable variable
class CValForVarOvr extends Var { override val x: Int = 1 } // bad override -- unsound if used in path and var changes
^
trait_fields_conflicts.scala:39: error: overriding variable x in trait Var of type Int;
variable x cannot override a mutable variable
class CVarForVarOvr extends Var { override var x: Int = 1 } // bad override -- why?
^
trait_fields_conflicts.scala:40: error: overriding variable x in trait Var of type Int;
method x cannot override a mutable variable
class CDefForVarOvr extends Var { override def x: Int = 1 } // bad override -- why?
^
trait_fields_conflicts.scala:41: error: overriding lazy value x in trait Lazy of type Int;
value x must be declared lazy to override a concrete lazy value
class CValForLazyOvr extends Lazy { override val x: Int = 1 } // bad override -- why?
^
trait_fields_conflicts.scala:42: error: overriding lazy value x in trait Lazy of type Int;
variable x needs to be a stable, immutable value
class CVarForLazyOvr extends Lazy { override var x: Int = 1 } // bad override -- why?
^
trait_fields_conflicts.scala:43: error: overriding lazy value x in trait Lazy of type Int;
method x needs to be a stable, immutable value
class CDefForLazyOvr extends Lazy { override def x: Int = 1 } // bad override -- why?
^
trait_fields_conflicts.scala:49: error: overriding value x in class CVal of type Int;
value x needs `override' modifier
trait ValForCVal extends CVal { val x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:50: error: overriding value x in class CVal of type Int;
variable x needs `override' modifier
trait VarForCVal extends CVal { var x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:51: error: overriding value x in class CVal of type Int;
method x needs `override' modifier
trait DefForCVal extends CVal { def x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:52: error: overriding variable x in class CVar of type Int;
value x needs `override' modifier
trait ValForCVar extends CVar { val x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:53: error: overriding variable x in class CVar of type Int;
variable x needs `override' modifier
trait VarForCVar extends CVar { var x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:54: error: overriding variable x in class CVar of type Int;
method x needs `override' modifier
trait DefForCVar extends CVar { def x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:55: error: overriding lazy value x in class CLazy of type Int;
value x needs `override' modifier
trait ValForCLazy extends CLazy { val x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:56: error: overriding lazy value x in class CLazy of type Int;
variable x needs `override' modifier
trait VarForCLazy extends CLazy { var x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:57: error: overriding lazy value x in class CLazy of type Int;
method x needs `override' modifier
trait DefForCLazy extends CLazy { def x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:60: error: overriding value x in class CVal of type Int;
variable x needs to be a stable, immutable value
trait VarForCValOvr extends CVal { override var x: Int = 1 } // bad override
^
trait_fields_conflicts.scala:61: error: overriding value x in class CVal of type Int;
method x needs to be a stable, immutable value
trait DefForCValOvr extends CVal { override def x: Int = 1 } // bad override
^
trait_fields_conflicts.scala:62: error: overriding variable x in class CVar of type Int;
value x cannot override a mutable variable
trait ValForCVarOvr extends CVar { override val x: Int = 1 } // bad override -- unsound if used in path and var changes
^
trait_fields_conflicts.scala:63: error: overriding variable x in class CVar of type Int;
variable x cannot override a mutable variable
trait VarForCVarOvr extends CVar { override var x: Int = 1 } // bad override -- why?
^
trait_fields_conflicts.scala:64: error: overriding variable x in class CVar of type Int;
method x cannot override a mutable variable
trait DefForCVarOvr extends CVar { override def x: Int = 1 } // bad override -- why?
^
trait_fields_conflicts.scala:65: error: overriding lazy value x in class CLazy of type Int;
value x must be declared lazy to override a concrete lazy value
trait ValForCLazyOvr extends CLazy { override val x: Int = 1 } // bad override -- why?
^
trait_fields_conflicts.scala:66: error: overriding lazy value x in class CLazy of type Int;
variable x needs to be a stable, immutable value
trait VarForCLazyOvr extends CLazy { override var x: Int = 1 } // bad override -- why?
^
trait_fields_conflicts.scala:67: error: overriding lazy value x in class CLazy of type Int;
method x needs to be a stable, immutable value
trait DefForCLazyOvr extends CLazy { override def x: Int = 1 } // bad override -- why?
^
trait_fields_conflicts.scala:69: error: overriding value x in class CVal of type Int;
value x needs `override' modifier
class CValForCVal extends CVal { val x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:70: error: overriding value x in class CVal of type Int;
variable x needs `override' modifier
class CVarForCVal extends CVal { var x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:71: error: overriding value x in class CVal of type Int;
method x needs `override' modifier
class CDefForCVal extends CVal { def x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:72: error: overriding variable x in class CVar of type Int;
value x needs `override' modifier
class CValForCVar extends CVar { val x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:73: error: overriding variable x in class CVar of type Int;
variable x needs `override' modifier
class CVarForCVar extends CVar { var x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:74: error: overriding variable x in class CVar of type Int;
method x needs `override' modifier
class CDefForCVar extends CVar { def x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:75: error: overriding lazy value x in class CLazy of type Int;
value x needs `override' modifier
class CValForCLazy extends CLazy { val x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:76: error: overriding lazy value x in class CLazy of type Int;
variable x needs `override' modifier
class CVarForCLazy extends CLazy { var x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:77: error: overriding lazy value x in class CLazy of type Int;
method x needs `override' modifier
class CDefForCLazy extends CLazy { def x: Int = 1 } // needs override
^
trait_fields_conflicts.scala:80: error: overriding value x in class CVal of type Int;
variable x needs to be a stable, immutable value
class CVarForCValOvr extends CVal { override var x: Int = 1 } // bad override
^
trait_fields_conflicts.scala:81: error: overriding value x in class CVal of type Int;
method x needs to be a stable, immutable value
class CDefForCValOvr extends CVal { override def x: Int = 1 } // bad override
^
trait_fields_conflicts.scala:82: error: overriding variable x in class CVar of type Int;
value x cannot override a mutable variable
class CValForCVarOvr extends CVar { override val x: Int = 1 } // bad override -- unsound if used in path and var changes
^
trait_fields_conflicts.scala:83: error: overriding variable x in class CVar of type Int;
variable x cannot override a mutable variable
class CVarForCVarOvr extends CVar { override var x: Int = 1 } // bad override -- why?
^
trait_fields_conflicts.scala:84: error: overriding variable x in class CVar of type Int;
method x cannot override a mutable variable
class CDefForCVarOvr extends CVar { override def x: Int = 1 } // bad override -- why?
^
trait_fields_conflicts.scala:85: error: overriding lazy value x in class CLazy of type Int;
value x must be declared lazy to override a concrete lazy value
class CValForCLazyOvr extends CLazy { override val x: Int = 1 } // bad override -- why?
^
trait_fields_conflicts.scala:86: error: overriding lazy value x in class CLazy of type Int;
variable x needs to be a stable, immutable value
class CVarForCLazyOvr extends CLazy { override var x: Int = 1 } // bad override -- why?
^
trait_fields_conflicts.scala:87: error: overriding lazy value x in class CLazy of type Int;
method x needs to be a stable, immutable value
class CDefForCLazyOvr extends CLazy { override def x: Int = 1 } // bad override -- why?
^
68 errors found
|
