---

yaml
---
r: 23631
b: refs/heads/master
c: f8323ac
h: refs/heads/master
i:
  23629: 031b193
  23627: e1af892
  23623: e01d2f4
  23615: f9be601
v: v3

Author: Elliott Slaughter

[refs]

@@ -1,5 +1,5 @@
 ---
-refs/heads/master: dbf6abf6bfd0bf2ac17c648d5e2c1edb68099e60
+refs/heads/master: f8323ac6156fd3234a94351a4104a1203bd83df1
 refs/heads/snap-stage1: e33de59e47c5076a89eadeb38f4934f58a3618a6
 refs/heads/snap-stage3: cd6f24f9d14ac90d167386a56e7a6ac1f0318195
 refs/heads/try: ffbe0e0e00374358b789b0037bcb3a577cd218be

trunk/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>;

trunk/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

trunk/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