*** empty log message ***

1 files changed, 29 insertions, 0 deletions

diff --git a/test/files/pos/bug31.scala b/test/files/pos/bug31.scala
new file mode 100644
index 0000000000..607dd4ce4f
--- /dev/null
+++ b/test/files/pos/bug31.scala
@@ -0,0 +1,29 @@
+object Main {
+
+    trait Ensure[a] {
+        def ensure(postcondition: a => Boolean): a
+    }
+
+    def require[a](def precondition: Boolean)(def command: a): Ensure[a] =
+        if (precondition)
+            new Ensure[a] {
+	        def ensure(postcondition: a => Boolean): a = {
+	            val result = command;
+	            if (postcondition(result)) result
+	            else error("Assertion error")
+                }
+	    }
+        else
+            error("Assertion error");
+
+    def arb[a](s: List[a]) =
+        require (! s.isEmpty) {
+           s.head
+        } ensure (result => s contains result);
+
+    def main(args: Array[String]) = {
+    	val s = List(1, 2);
+        System.out.println(arb(s))
+    }
+
+}