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, 7 insertions, 0 deletions

diff --git a/tests/conformance/6-ownership/recast_back_to_m.zc b/tests/conformance/6-ownership/recast_back_to_m.zc
new file mode 100644
index 0000000..5784945
--- /dev/null
+++ b/tests/conformance/6-ownership/recast_back_to_m.zc
@@ -0,0 +1,7 @@
+// expect error: p: can't be recast back to m
+// spec 6.7
+include rt;
+void pn(int x) { rt.put_n(x); rt.put_c(10); }
+int* g;
+fn main() { int* p = rt.new(2); d*p; m*p; g = p; return 0; }
+// zc0: skip