Add safety preconditions to std/src/alloc.rs#330

tautschnig merged 5 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

tautschnig:alloc-rs-contractstautschnig/verify-rust-std:alloc-rs-contractsCopy head branch name to clipboard