merge work/dtor: destructors (drop on any heap value, heap(), struct drop, collector drops once with resurrection, freed blocks forget their drop)

1 files changed, 13 insertions, 0 deletions

diff --git a/tests/conformance/6-ownership/drop_temporary_statement.zc b/tests/conformance/6-ownership/drop_temporary_statement.zc
new file mode 100644
index 0000000..fd27623
--- /dev/null
+++ b/tests/conformance/6-ownership/drop_temporary_statement.zc
@@ -0,0 +1,13 @@
+// expect: unlocked a b unlocked c /
+// destructors 3: a value nothing holds drops at the end of its full statement; a bound guard drops at block end
+include rt;
+void unlock() { rt.put_s("unlocked "); }
+fn main() {
+	heap(0).drop = fn() { unlock(); };
+	rt.put_s("a ");
+	{ let guard = drop(heap(0), fn() { unlock(); }); rt.put_s("b "); }
+	rt.put_s("c ");
+	rt.put_c(10);
+	return 0;
+}
+// zc0: skip