Test case for SI-2066

scala · May 7, 2012 · 8d23a91 · 8d23a91
1 parent ea25648
commit 8d23a91
Showing 1 changed file with 16 additions and 0 deletions.
diff --git a/test/pending/neg/t2066.scala b/test/pending/neg/t2066.scala
@@ -0,0 +1,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
+}