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

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