merge main into work/line-tables

1 files changed, 9 insertions, 0 deletions

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;
+}