---

yaml
---
r: 30231
b: refs/heads/incoming
c: f8323ac
h: refs/heads/master
i:
  30229: 5e2867b
  30227: 44ae5de
  30223: c275ee4
v: v3

Author: Elliott Slaughter

[refs]

@@ -6,7 +6,7 @@ refs/heads/try: d324a424d8f84b1eb049b12cf34182bda91b0024
 refs/tags/release-0.1: 1f5c5126e96c79d22cb7862f75304136e204f105
 refs/heads/ndm: f3868061cd7988080c30d6d5bf352a5a5fe2460b
 refs/heads/try2: d0c6ce338884ee21843f4b40bf6bf18d222ce5df
-refs/heads/incoming: dbf6abf6bfd0bf2ac17c648d5e2c1edb68099e60
+refs/heads/incoming: f8323ac6156fd3234a94351a4104a1203bd83df1
 refs/heads/dist-snap: 2f32a1581f522e524009138b33b1c7049ced668d
 refs/tags/release-0.2: c870d2dffb391e14efb05aa27898f1f6333a9596
 refs/tags/release-0.3: b5f0d0f648d9a6153664837026ba1be43d3e2503

branches/incoming/src/rt/rust_box_annihilator.cpp

@@ -2,6 +2,7 @@
 #include "rust_globals.h"
 #include "rust_task.h"
 #include "rust_shape.h"
+#include "rust_box_annihilator.h"
 
 class annihilator : public shape::data<annihilator,shape::ptr> {
     friend class shape::data<annihilator,shape::ptr>;

branches/incoming/src/rt/rust_box_annihilator.h

@@ -0,0 +1,12 @@
+#ifndef RUST_BOX_ANNIHILATOR_H
+#define RUST_BOX_ANNIHILATOR_H
+
+#include "rust_task.h"
+
+void
+annihilate_box(rust_task *task, rust_opaque_box *box);
+
+void
+annihilate_boxes(rust_task *task);
+
+#endif

branches/incoming/src/rt/rust_builtin.cpp

@@ -7,6 +7,7 @@
 #include "sync/timer.h"
 #include "rust_abi.h"
 #include "rust_port.h"
+#include "rust_box_annihilator.h"
 
 #include <time.h>
 
@@ -740,6 +741,12 @@ rust_set_exit_status(intptr_t code) {
     task->kernel->set_exit_status((int)code);
 }
 
+extern "C" CDECL void
+rust_annihilate_box(rust_opaque_box *ptr) {
+    rust_task *task = rust_get_current_task();
+    annihilate_box(task, ptr);
+}
+
 extern void log_console_on();
 
 extern "C" CDECL void