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.

2 files changed, 17 insertions, 0 deletions

diff --git a/tests/neg/t0586.scala b/tests/neg/t0586.scala
new file mode 100644
index 000000000..540e225a1
--- /dev/null
+++ b/tests/neg/t0586.scala
@@ -0,0 +1,9 @@
+object RClose {
+  type ReflectCloseable = { def close(): Unit }
+  def withReflectCloseable[T <: ReflectCloseable, R](s: T)(action: T => R): R =
+    try {
+      action(s)
+    } finally {
+      s.close()
+    }
+}
diff --git a/tests/neg/t0625.scala b/tests/neg/t0625.scala
new file mode 100644
index 000000000..561454259
--- /dev/null
+++ b/tests/neg/t0625.scala
@@ -0,0 +1,8 @@
+object Test {
+  def idMap[C[_],T](m: { def map[U](f: T => U): C[U] }): C[T] = m.map(t => t)
+
+  def main(args: Array[String]): Unit = {
+    idMap(Some(5))
+    idMap(Responder.constant(5))
+  }
+}