destructors: reassigning an m owner that still holds a value frees the old value first, running its drop (right side first, then the free, then the store), with hint: x: reassigning frees the old value; a new value that is part of the old one is an error; u, d and captured owners keep the leak error; the new value's size, leaf type and drop are recorded like a declaration's; spec 6.8.5, 6.15.2

1 files changed, 5 insertions, 0 deletions

diff --git a/tests/conformance/6-ownership/reassign_moves_inner_owner.zc b/tests/conformance/6-ownership/reassign_moves_inner_owner.zc
new file mode 100644
index 0000000..d66d886
--- /dev/null
+++ b/tests/conformance/6-ownership/reassign_moves_inner_owner.zc
@@ -0,0 +1,5 @@
+// expect: 1 2/
+// spec 6.8.5: r still owns; assigning n frees r's object and moves n's into r, so n's block end frees nothing
+include rt;
+fn main() { word r = rt.new(4); { word n = rt.new(8); n[0] = 1; r = n; } rt.put_n(r[0]); r[0] = 2; rt.put_c(32); rt.put_n(r[0]); rt.put_c(10); return 0; }
+// zc0: skip