Add safety preconditions to alloc/src/boxed/thin.rs#119

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

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