25a98964b5 ^
1 2 3 4 5 6 7 8 9 10 11 12 13 14 15 16
trait C {} class O[X]() { trait I[Y] { def foo(y: Y): Y = y; } val j:I[X] = null; } object o extends O[C]() { def c: C = c; def main = { o.j.foo(c); } }