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

3 files changed, 9 insertions, 6 deletions

diff --git a/tests/errors/leak_overwrite.zc b/tests/errors/leak_overwrite.zc
index 50fecfa..45febed 100644
--- a/tests/errors/leak_overwrite.zc
+++ b/tests/errors/leak_overwrite.zc
@@ -1,5 +1,7 @@
 namespace;
 include rt;
 
+// a u object still has to leave its block, so overwriting it is not a free (spec 6.8.5)
 // expect: x: still owns an object
-fn main() { let x = rt.new(1); x = rt.new(2); return x[0]; }
+int*.u mk() { int*.u x = rt.new(1); x = rt.new(2); return x; }
+fn main() { let p = mk(); return p[0]; }
diff --git a/tests/errors/move_live_owner.zc b/tests/errors/move_live_owner.zc
deleted file mode 100644
index e36909c..0000000
--- a/tests/errors/move_live_owner.zc
+++ /dev/null
@@ -1,5 +0,0 @@
-namespace;
-include rt;
-
-// expect: still owns an object; overwriting it would leak it
-fn main() { word r = rt.new(4); { word n = rt.new(8); n[0] = 1; r = n; } r[0] = 2; return 0; }
diff --git a/tests/errors/reassign_from_own_child.zc b/tests/errors/reassign_from_own_child.zc
new file mode 100644
index 0000000..4a23e51
--- /dev/null
+++ b/tests/errors/reassign_from_own_child.zc
@@ -0,0 +1,6 @@
+namespace;
+include rt;
+
+struct node { node* next; int v; }
+// expect: a: reassigning frees the old value, and the new value is part of it
+fn main() { node* a = rt.new(node); a.next = rt.new(node); a = a.next; return 0; }