199ec3c10f ^
1 2 3 4 5 6 7 8 9 10 11 12 13 14
class P { trait S1 val p = new P trait S2 { def f(x: p.S1): Int } } class P2 extends P { object O2 extends S2 { def f(x: S1) = 5 } }