dae92a5589 ^
1536b1c67e ^
1
2 3 4
bug711.scala:11: error: method sayHey does not refine a member of its base type def sayHey: Unit ^ one error found