Challenge 27: Verify safety of Arc functions#575

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

Samuelsills:challenge-27-arcSamuelsills/verify-rust-std:challenge-27-arcCopy head branch name to clipboard