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

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