From e836beb97bed4db4045535717cde6d6f0d0f56da Mon Sep 17 00:00:00 2001
From: =?UTF-8?q?R=C3=A9gis=20Blanc?= <regwblanc@gmail.com>
Date: Thu, 10 May 2012 16:12:25 +0200
Subject: [PATCH] regression test for updated
---
testcases/regression/valid/Array8.scala | 8 ++++++++
1 file changed, 8 insertions(+)
create mode 100644 testcases/regression/valid/Array8.scala
diff --git a/testcases/regression/valid/Array8.scala b/testcases/regression/valid/Array8.scala
new file mode 100644
index 000000000..270b18122
--- /dev/null
+++ b/testcases/regression/valid/Array8.scala
@@ -0,0 +1,8 @@
+object Array8 {
+
+ def foo(a: Array[Int]): Array[Int] = {
+ require(a.length >= 2)
+ a.updated(1, 3)
+ } ensuring(res => res.length == a.length && res(1) == 3)
+
+}
--
GitLab