blob: eaddde0dbfc93aca5c928eb955df07cd13d7c6d4 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
|
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 o : B = C
def main(argv : Array[String]) : Unit = {
println(o.m.x)
}
}
|