blob: 4020b880ed70b2d4e0c38bb18896c59d4bb07c2e (
plain)
1
2
3
4
5
|
TraitOverride0.dfy(53,20): Error: a class can not override implemented functions
TraitOverride0.dfy(48,20): Error: function 'BodyLess1' is declared with a different number of parameter (1 instead of 0) than the corresponding function in the module it overrides
TraitOverride0.dfy(65,6): Error: class: C2 does not implement trait member: BodyLess1
TraitOverride0.dfy(65,6): Error: class: C2 does not implement trait member: BodyLess2
4 resolution/type errors detected in TraitOverride0.dfy
|
