Some testcases

mytest/MyTuple1.scala

+object MyTuple1 {
+
+  def foo(): Int = {
+    val t = (1, true)
+    val a1 = t._1
+    val a2 = t._2
+    a1
+  } ensuring( _ > 0)
+
+}
+

mytest/MyTuple2.scala

+object MyTuple2 {
+
+  def foo(): Int = {
+    val t = (1, true)
+    val a1 = t._1
+    val a2 = t._2
+    a1
+  } ensuring( _ < 0)
+
+}

mytest/MyTupleWrong.scala

+object MyTupleWrong {
+
+  def foo(): Int = {
+    val t = (1, true)
+    val a1 = t._1
+    val a2 = t._2
+    val a3 = t._3
+    a1
+  }
+
+}
+
+
+// vim: set ts=4 sw=4 et: