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, 3 insertions, 1 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]; }