refine.scala:3: type mismatch;
 found   : java.lang.Object
 required: java.lang.Object { def t(): java.lang.String }
  val x: Object { def t(): String } = new Object {
                                      ^
one error found