conformance: port the previous agent's suite, fix six expectations, add sections 5 to 8 and appendix b, known.txt, zc0 skips, wire into test.sh

1 files changed, 6 insertions, 0 deletions

diff --git a/tests/conformance/6-ownership/copy_owner_rejected.zc b/tests/conformance/6-ownership/copy_owner_rejected.zc
new file mode 100644
index 0000000..c102ac9
--- /dev/null
+++ b/tests/conformance/6-ownership/copy_owner_rejected.zc
@@ -0,0 +1,6 @@
+// expect error: p: is an owned object and can't be copied into another variable
+// spec 6.8.5
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+fn main() { int* p = rt.new(1); int* q; q = p; pn(q[0]); return 0; }
+// zc0: skip