diff options
Diffstat (limited to 'compiler/ExtractBuiltin.ml')
| -rw-r--r-- | compiler/ExtractBuiltin.ml | 2 |
1 files changed, 0 insertions, 2 deletions
diff --git a/compiler/ExtractBuiltin.ml b/compiler/ExtractBuiltin.ml index d15905a2..106451cc 100644 --- a/compiler/ExtractBuiltin.ml +++ b/compiler/ExtractBuiltin.ml @@ -331,8 +331,6 @@ let builtin_fun_effects = (* TODO: redundancy with the funs information below *) "alloc::vec::{alloc::vec::Vec<@T>}::new"; "alloc::vec::{alloc::vec::Vec<@T>}::len"; - "alloc::boxed::{Box<@T>}::deref"; - "alloc::boxed::{Box<@T>}::deref_mut"; "core::mem::replace"; "core::mem::take"; ] |