From db5ed68a8871305f352bc4447832eac9ed748fbf Mon Sep 17 00:00:00 2001
From: Ralf Jung <post@ralfj.de>
Date: Sun, 26 Oct 2025 11:04:37 +0100
Subject: [PATCH] add write_box_via_move intrinsic and use it for vec!

This allows us to get rid of box_new entirely
---
 example/mini_core.rs | 5 -----
 1 file changed, 5 deletions(-)

diff --git a/example/mini_core.rs b/example/mini_core.rs
index 301547cadaf7..5293b458d8c4 100644
--- a/example/mini_core.rs
+++ b/example/mini_core.rs
@@ -622,11 +622,6 @@ impl<T: ?Sized> Deref for Box<T> {
     }
 }
 
-#[lang = "exchange_malloc"]
-unsafe fn allocate(size: usize, _align: usize) -> *mut u8 {
-    unsafe { libc::malloc(size) }
-}
-
 #[lang = "drop"]
 pub trait Drop {
     fn drop(&mut self);