Verify safety of Vec IntoIter functions with VeriFast (Challenge 24)#562

jrey8343 wants to merge 9 commits into

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

jrey8343:challenge-24-vec-pt2jrey8343/verify-rust-std:challenge-24-vec-pt2Copy head branch name to clipboard