Added Martin's additional test cases.

1 files changed, 26 insertions, 0 deletions

diff --git a/test/files/neg/bug510.scala b/test/files/neg/bug510.scala
new file mode 100755
index 0000000000..a1cd2df009
--- /dev/null
+++ b/test/files/neg/bug510.scala
@@ -0,0 +1,26 @@
+abstract class C {
+
+  type T <: Any;
+
+}
+
+abstract class D[S <: C](_c: S) extends C {
+
+  val c: S = _c;
+  type T <: c.T;
+
+}
+
+abstract class E(e: E) extends D[E](e);
+
+object Test {
+
+  def f(e: E): Unit = {
+    def g(t: e.T): Unit = {
+      val i: Int = t;
+      ()
+    }
+    ()
+  }
+
+}