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

tautschnig wants to merge 13 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

tautschnig:bedrock-library/alloc/src/alloc.rstautschnig/verify-rust-std:bedrock-library/alloc/src/alloc.rsCopy head branch name to clipboard