implement const_deallocate as a NOP

diff --git a/src/shims/intrinsics.rs b/src/shims/intrinsics.rs
index d0d35dc45817d6ba86922bb9ac84d36471542e84..df41a88aeeb61fe2de686618e2cd4f94c10d0c63 100644 (file)
--- a/src/shims/intrinsics.rs
+++ b/src/shims/intrinsics.rs
@@ -59,6 +59,9 @@ fn call_intrinsic(
                 // See <https://github.com/rust-lang/rust/issues/93935>.
                 this.write_null(dest)?;
             }
+            "const_deallocate" => {
+                // complete NOP
+            }
 
             // Raw memory accesses
             "volatile_load" => {