aboutsummaryrefslogtreecommitdiff
path: root/tests/errors/borrow_escape.zc
diff options
context:
space:
mode:
Diffstat (limited to 'tests/errors/borrow_escape.zc')
-rw-r--r--tests/errors/borrow_escape.zc3
1 files changed, 3 insertions, 0 deletions
diff --git a/tests/errors/borrow_escape.zc b/tests/errors/borrow_escape.zc
new file mode 100644
index 0000000..ce24480
--- /dev/null
+++ b/tests/errors/borrow_escape.zc
@@ -0,0 +1,3 @@
+// expect: p: is owned and can't be returned
+fn f(.m p) { return p; }
+fn main() { let x = new(1); f(x); return 0; }