From b02bdd043673419357eadd6c646b9a77c62e5792 Mon Sep 17 00:00:00 2001 From: zinc Date: Thu, 15 Oct 2026 02:37:04 +0330 Subject: destructors: hint: x: has drop and is live at spawn; the worker's copy drops it too, on x.spawn() of a mailbox struct for each live owned local with a drop; spec 6.15.4, lsp hint check --- tests/data/spawn_hint.zc | 11 +++++++++++ 1 file changed, 11 insertions(+) create mode 100644 tests/data/spawn_hint.zc (limited to 'tests/data') diff --git a/tests/data/spawn_hint.zc b/tests/data/spawn_hint.zc new file mode 100644 index 0000000..b59657d --- /dev/null +++ b/tests/data/spawn_hint.zc @@ -0,0 +1,11 @@ +namespace; +include rt, actor; +struct res { int fd; void drop() { rt.put_s("closed"); } } +actor Echo { int total; int handle(int x) { return x; } } +fn main() { + res* r = rt.new(res); r.fd = 3; + Echo* e = rt.new(Echo); + e.spawn(); + e.close(); + return r.fd; +} -- cgit v1.2.3