blob: 29c9b25318777add6bcbd9610a5d51d5a851ab7f (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
|
// Test from http://lrytz.github.io/scala-aladdin-bugtracker/displayItem.do%3Fid=763.html
// and expanded with package object variants
trait Foo { type T; def apply() : T }
object e extends Foo { type T = Int; def apply() = 42 }
package p {
trait T[X] { def O : { def apply(): X } }
object `package` extends T[Int] {
def O: { def apply(): Int } = new { def apply(): Int = 42 }
}
object Test {
val x: Int = O()
}
}
object Test {
val f = new Foo { type T = Int; def apply() = 42 }
def main(args: Array[String]): Unit = {
val g = new Foo { type T = Int; def apply() = 42 }
(e: Foo)()
val ee: Int = e()
(f: Foo)()
val ff: Int = f()
(g: Foo)()
val gg: Int = g()
val pp: Int = p.O()
}
}
|