1 files changed, 7 insertions, 0 deletions
diff --git a/tests/errors/global_borrowed.zc b/tests/errors/global_borrowed.zc
new file mode 100644
index 0000000..3dc3760
--- /dev/null
+++ b/tests/errors/global_borrowed.zc
@@ -0,0 +1,7 @@
+namespace;
+include rt;
+
+// expect: p: is not an owner, so it can't be stored in a global
+let g;
+fn keep(.m p) { g = p; return 0; }
+fn main() { let x = rt.new(1); keep(x); return 0; }