tests/untried/neg/t2066b.scala


1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

object Test extends App {
    trait A {
     def f[T[_]](x : T[Int]) : T[Any]
    }

    class B extends A {
     def f[T[+_]](x : T[Int]) : T[Any] = x
    }

    class P[Y](var y : Y)

    val p = new P(1)
    val palias = (new B():A).f[P](p)
    palias.y = "hello"  
    val z: Int = p.y
}