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

Draft

tautschnig wants to merge 7 commits intomodel-checking:mainfrom

tautschnig:bedrock-library/alloc/src/collections/binary_heap/mod.rs

Commits on Oct 18, 2024

Add annotations required by Kani
tautschnig
committed

Commits on Dec 13, 2024

Merge remote-tracking branch 'origin/main' into bedrock-library/alloc/src/collections/binary_heap/mod.rs
tautschnig
committed