blob: 6197ca0e90e7ba117c51fd1dce623ae67783ec4a (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
scala> class C
defined class C
scala> def f = { object o extends C; o}
f: ewo.type forSome { val o: o; type o <: C with ScalaObject }
scala> val x = f
<console>:6: error: type mismatch;
found : o.type(in object $iw) where type o.type(in object $iw) <: o with Singleton
required: o.type(in value x) forSome { type o.type(in value x) <: o with Singleton; type o <: C with ScalaObject }
val x = f
^
scala> val x : C = f
x: C = o$2$@111985e
|