3d9d369b71 ^
3049afc7ec ^
1
2 3 4
bug409.scala:6: error: traits may not have parameters class Toto extends Expr with Case1(12); ^ one error found