c4bc5bc26a ^
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