Challenge 22: Verify safety of str iter functions#572

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

Samuelsills:challenge-22-str-iterSamuelsills/verify-rust-std:challenge-22-str-iterCopy head branch name to clipboard