Challenge 27: Verify Arc/Weak safety in alloc::sync with Kani#587

v3risec wants to merge 3 commits into

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

v3risec:challenge-27-arcv3risec/verify-rust-std:challenge-27-arcCopy head branch name to clipboard