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/t963b.scala b/tests/untried/neg/t963b.scala
new file mode 100644
index 000000000..3442f46c4
--- /dev/null
+++ b/tests/untried/neg/t963b.scala
@@ -0,0 +1,26 @@
+// Soundness bug, at #963 and dup at #2079.
+trait A {
+  type T
+  var v : T
+}
+
+object B {
+  def f(x : { val y : A }): Unit = { x.y.v = x.y.v }
+
+  var a : A = _
+  var b : Boolean = false
+  def y : A = {
+    if(b) {
+      a = new A { type T = Int; var v = 1 }
+      a
+    } else {
+      a = new A { type T = String; var v = "" }
+      b = true
+      a
+    }
+  }
+}
+
+object Test extends App {
+  B.f(B)
+}