Challenge 23: Verify safety of Vec functions part 1#569

Samuelsills wants to merge 3 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

Samuelsills:challenge-23-vec-pt1-prSamuelsills/verify-rust-std:challenge-23-vec-pt1-prCopy head branch name to clipboard