Challenge 25: Verify safety of VecDeque#564

Samuelsills wants to merge 1 commit intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

Samuelsills:challenge-25-vecdequeSamuelsills/verify-rust-std:challenge-25-vecdequeCopy head branch name to clipboard