More tests

Author: odersky

tests/run/tuple-typetests.check

@@ -0,0 +1,2 @@
+false
+true

tests/run/tuple-typetests.scala

@@ -0,0 +1,10 @@
+object Test extends App {
+
+  def nonEmpty(x: Any) = x match {
+    case _: (h *: t) => true
+    case () => false
+  }
+
+  println(nonEmpty(()))
+  println(nonEmpty(1, 2,3))
+}