refine.scala:3: method t overrides nothing
  val x: Object { def t(): String } = new Object {
                      ^
refine.scala:3: type mismatch;
 found   : scala.Object
 required: scala.Object { def t(): java.lang.String }
  val x: Object { def t(): String } = new Object {
                                      ^
two errors found