test/files/neg/refine.check


1
2
3
4
5
6

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