blob: c61d1071a52a7f6f1fbb65f664dcf76f11107f7f (
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
38
39
40
41
|
import scala.language.reflectiveCalls
object Other {
abstract class Foo {
type R1 <: { def x: Any }
type R2 <: R1 { def x: Int }
def f(x: R2) = x.x
}
abstract class Bar {
trait R0 { def x: Any }
type R1 <: R0 { def x: AnyVal }
type R2 <: R1 { def x: Int }
def f(x: R2) = x.x
}
}
object Test {
trait A
trait B
def x(a: (A { val y: Int }) with B { val y: Int }) = a.y
class C extends A with B {
val y = 456
}
class Bippy { def x: Int = 789 }
def main(args: Array[String]): Unit = {
println(x(new A with B { val y = 123 }))
println(x(new C))
{ val foo = new Other.Foo { type R1 = Bippy ; type R2 = Bippy }
println(foo.f(new Bippy))
}
{ val bar = new Other.Bar { type R1 = Bippy with R0 ; type R2 = R1 }
println(bar.f(new Bippy with bar.R0))
}
}
}
|