From a275919ea9141a9d8c966ccef040666d9bda3b60 Mon Sep 17 00:00:00 2001
From: zinc <zinc@downsta.ir>
Date: Wed, 14 Oct 2026 15:37:28 +0330
Subject: agent/spec-conformance: unmerged work from previous session

---
 tests/conformance/4-statements/checked_owned_never_used.zc | 9 +++++++++
 1 file changed, 9 insertions(+)
 create mode 100644 tests/conformance/4-statements/checked_owned_never_used.zc

(limited to 'tests/conformance/4-statements/checked_owned_never_used.zc')

diff --git a/tests/conformance/4-statements/checked_owned_never_used.zc b/tests/conformance/4-statements/checked_owned_never_used.zc
new file mode 100644
index 0000000..6c89dee
--- /dev/null
+++ b/tests/conformance/4-statements/checked_owned_never_used.zc
@@ -0,0 +1,9 @@
+// expect error: p: owned object is never used
+// spec 6.5.2 (the checked counterpart of unchecked_toplevel_rest_of_unit)
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() {
+	int* p = rt.new(int);
+	pn(1);
+	return 0;
+}
-- 
cgit v1.2.3