add tests from scala/test/files/{pos,neg}

with explicit Unit return type

1 files changed, 35 insertions, 0 deletions

diff --git a/tests/untried/neg/t1705.scala b/tests/untried/neg/t1705.scala
new file mode 100644
index 000000000..fabdca0ec
--- /dev/null
+++ b/tests/untried/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] } }
+
+*/