c50f73ddb1 ^
d610e36fa5 ^
1 2 3 4
5
6 7 8 9
class A[-S](y : S) { val f = new { val x = y } } object Test extends App { val a = new A(1) val b = a : A[Nothing] b.f.x }