1 files changed, 10 insertions, 0 deletions
diff --git a/tests/errors/borrow_resize.zc b/tests/errors/borrow_resize.zc
new file mode 100644
index 0000000..8594f98
--- /dev/null
+++ b/tests/errors/borrow_resize.zc
@@ -0,0 +1,10 @@
+namespace;
+include rt;
+
+// expect: element borrow was invalidated by array mutation on line 8; borrow created on line 7
+fn main() {
+ int[?] a = {1,2};
+ int* p = &a[0];
+ resize(a,3);
+ rt.put_n(p[0]);
+}