1 files changed, 16 insertions, 0 deletions
diff --git a/tests/untried/neg/t2066b.scala b/tests/untried/neg/t2066b.scala
new file mode 100644
index 000000000..2f8ffde14
--- /dev/null
+++ b/tests/untried/neg/t2066b.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
+}