Add safety preconditions to alloc/src/alloc.rs

Add safety preconditions to alloc/src/alloc.rs #1139