Add safety preconditions to alloc/src/collections/binary_heap/mod.rs#120

tautschnig wants to merge 7 commits into

model-checking:mainmodel-checking/verify-rust-std:mainfrom

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