blob: e991553a8b35e26191ab1f2969452136fe5c09b0 (
plain)
1
2
3
|
TraitMultiModule.dfy(22,19): Error: class 'C2' is in a different module than trait 'M1.T1'. A class may only extend a trait in the same module.
TraitMultiModule.dfy(30,22): Error: class 'C2' is in a different module than trait 'M1.T1'. A class may only extend a trait in the same module.
2 resolution/type errors detected in TraitMultiModule.dfy
|
