fixed t1705.

2 files changed, 42 insertions, 0 deletions

diff --git a/test/files/neg/t1705.check b/test/files/neg/t1705.check
new file mode 100644
index 0000000000..7f75bd0fb5
--- /dev/null
+++ b/test/files/neg/t1705.check
@@ -0,0 +1,7 @@
+t1705.scala:9: error: can't existentially abstract over parameterized type this.T[Z]
+    val c = new C{
+            ^
+t1705.scala:14: error: can't existentially abstract over parameterized type C[String]
+    val x1 = {
+             ^
+two errors found
diff --git a/test/files/neg/t1705.scala b/test/files/neg/t1705.scala
new file mode 100755
index 0000000000..fabdca0ec6
--- /dev/null
+++ b/test/files/neg/t1705.scala
@@ -0,0 +1,35 @@
+package trials
+object crashing {
+  trait C {
+    abstract class T[A] {
+      def f[Z] (a:T[Z]) : T[A]
+    }
+  }
+  abstract class Thing {
+    val c = new C{
+      class T[A](a:A) {
+        def f[Z](t:T[Z]) = new T(a)
+      }
+    }
+    val x1 = {
+      class C[T] { val x: T }
+      new C[String]
+    }
+  }
+}
+/*
+
+Infinite loop in Typer.addLocals. Printing all calls to it:
+
+addLocals: Unit
+addLocals: this.T[A]
+addLocals: java.lang.Object with crashing.C{ ... }
+addLocals: >: Nothing <: java.lang.Object with crashing.C{type T[A] <: java.lang.Object with ScalaObject{def f[Z](this.T[Z]): this.T[A]}}
+addLocals: >: Nothing <: java.lang.Object with ScalaObject{def f[Z](this.T[Z]): this.T[Z]}
+addLocals: >: Nothing <: java.lang.Object with ScalaObject{def f[Z](this.T[Z]): this.T[Z]}
+addLocals: >: Nothing <: java.lang.Object with ScalaObject{def f[Z](this.T[Z]): this.T[Z]}
+[...]
+*
+  C { type T[A] <: { def f[Z]: T[Z] => T[A] } }
+
+*/