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