Use given allocator instad of Global · model-checking/verify-rust-std@d6a36f5 (original) (raw)

Original file line number Diff line number Diff line change
@@ -867,7 +867,7 @@ impl<T, A: Allocator> Box<[T], A> {
867 867 Ok(l) => l,
868 868 Err(_) => return Err(AllocError),
869 869 };
870 -Global.allocate(layout)?.cast()
870 +alloc.allocate(layout)?.cast()
871 871 };
872 872 unsafe { Ok(RawVec::from_raw_parts_in(ptr.as_ptr(), len, alloc).into_box(len)) }
873 873 }
@@ -906,7 +906,7 @@ impl<T, A: Allocator> Box<[T], A> {
906 906 Ok(l) => l,
907 907 Err(_) => return Err(AllocError),
908 908 };
909 -Global.allocate_zeroed(layout)?.cast()
909 +alloc.allocate_zeroed(layout)?.cast()
910 910 };
911 911 unsafe { Ok(RawVec::from_raw_parts_in(ptr.as_ptr(), len, alloc).into_box(len)) }
912 912 }