blob: 38d961bb347578d646d4fe993fe86f11775e0374 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
|
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
|
