Add safety preconditions to alloc/src/boxed/thin.rs#119
Draft
tautschnig wants to merge 9 commits intomodel-checking:mainfrom tautschnig:bedrock-library/alloc/src/boxed/thin.rs
+31
Commits
Commits on Oct 17, 2024
- committed
- committed
- committed
- committed
- committed
- committed
- committed
