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

with explicit Unit return type

1 files changed, 26 insertions, 0 deletions

diff --git a/tests/untried/neg/t510.scala b/tests/untried/neg/t510.scala
new file mode 100644
index 000000000..a1cd2df00
--- /dev/null
+++ b/tests/untried/neg/t510.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;
+      ()
+    }
+    ()
+  }
+
+}