blob: b309a48d6307bef6350b46db739b82a4301477a8 (
plain) (
tree)
|
|
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
}
|