agent/spec-conformance: unmerged work from previous session

1 files changed, 6 insertions, 0 deletions

diff --git a/tests/conformance/4-statements/unchecked_fn_does_not_extend.zc b/tests/conformance/4-statements/unchecked_fn_does_not_extend.zc
new file mode 100644
index 0000000..e93a582
--- /dev/null
+++ b/tests/conformance/4-statements/unchecked_fn_does_not_extend.zc
@@ -0,0 +1,6 @@
+// expect error: q: owned object is never used
+// spec 4.9: only that function is unchecked
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+unchecked fn leaky() { int* p = rt.new(int); return 0; }
+fn main() { int* q = rt.new(int); leaky(); return 0; }