Challenge 24: Verify safety of Vec IntoIter functions - #570

Challenge 24: Verify safety of Vec IntoIter functions#570

Samuelsills wants to merge 2 commits into

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

Samuelsills:challenge-24-vec-pt2Samuelsills/verify-rust-std:challenge-24-vec-pt2Copy head branch name to clipboard