Adapt tests

1 files changed, 32 insertions, 0 deletions

diff --git a/tests/neg/unions.scala b/tests/neg/unions.scala
new file mode 100644
index 000000000..099a628c9
--- /dev/null
+++ b/tests/neg/unions.scala
@@ -0,0 +1,32 @@
+object unions {
+
+  class A {
+    def f: String = "abc"
+
+    def g(x: Int): Int = x
+    def g(x: Double): Double = x
+  }
+
+  class B {
+    def f: String = "bcd"
+
+    def g(x: Int) = -x
+    def g(x: Double): Double = -x
+  }
+
+  val x: A | B = if (true) new A else new B
+  def y: B | A = if (true) new A else new B
+  println(x.f)  // error
+  println(x.g(2)) // error
+  println(y.f) // error
+  println(y.g(1.0)) // error
+
+  class C {
+    private def foo = 0
+    class D extends C {
+      private def foo = 1
+      def test(cd: C | D, dc: D | C) = (cd.foo, dc.foo)
+    }
+  }
+
+}