blob: 18f4fad76a531b51e75bc2f08de5be5c7d68863e (
plain) (
blame)
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
|