added comments; better errror messages; trace u...

added comments; better errror messages; trace utility

1 files changed, 12 insertions, 0 deletions

diff --git a/test/files/neg/variances.scala b/test/files/neg/variances.scala
index 393a3e0b7d..67783bc4aa 100644
--- a/test/files/neg/variances.scala
+++ b/test/files/neg/variances.scala
@@ -58,4 +58,16 @@ object Covariant {
     val x : java.lang.Character = test.a.getA
     Console.println("XXX " + x)
   }
+
+  abstract class T[+A] {
+    val x: T[A] {
+      val m: A => A
+    }
+  }
+  object ST extends T[String] {
+    val x: T[String] { val m: String => String } = ST
+    val m: String => String = (_.substring(1))
+  }
+  val t: T[Any] = ST
+  t.x.m(new Object)
 }