test/files/neg/t2078.scala


1
2
3
4
5
6
7
8
9

class A[-S](y : S) {
  val f  = new { val x = y }
}

object Test extends Application {
  val a = new A(1)
  val b = a : A[Nothing]
  b.f.x
}