Fleshed out Splitter phase

Implemented splitting operations

As a side effect, this contains a test ruling out structural term member dispatch.
Tests 0586 and 0625 which used structural dispatch got moved to neg.

1 files changed, 11 insertions, 0 deletions

diff --git a/tests/pos/unions.scala b/tests/pos/unions.scala
index 779d1847e..f358d6df9 100644
--- a/tests/pos/unions.scala
+++ b/tests/pos/unions.scala
@@ -2,13 +2,24 @@ 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)
+  println(x.g(2))
+  println(y.f)
+  println(y.g(1.0))
+
 
 }