Add contracts for NonZero::from_mut_unchecked#345

feliperodri merged 4 commits intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

tautschnig:from_mut_uncheckedtautschnig/verify-rust-std:from_mut_uncheckedCopy head branch name to clipboard