Challenge 29: Verify the safety of Box and ThinBox in alloc::boxed - #669

Challenge 29: Verify the safety of Box and ThinBox in alloc::boxed#669

kasimte wants to merge 2 commits into

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

kasimte:challenge-29kasimte/verify-rust-std:challenge-29Copy head branch name to clipboard