blob: 45235eb77b31bdc519fc71c6ebcf898a3a7119f8 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
|
trait A { def x : Int }
trait B { val m : A }
object C extends B {
object m extends A { def x = 5 }
}
object Test {
// The type annotation here is necessary, otherwise
// the compiler would reference C$m$ directly.
def o1 : B = C
def o2 = C
def main(argv : Array[String]) : Unit = {
println(o1.m.x)
println(o2.m.x)
}
}
|