ae85da1eac ^
87185f9844 ^
1
2
3
4
bug562.scala:10: error: super may be not be used on value y override val y = super.y; ^ one error found