bug711.scala:11: error: method sayHey does not refine a member of its base type
    def sayHey: Unit
    ^
one error found