Replace byte-inspection NonZero contracts with niche test and raw_eq - #624

Replace byte-inspection NonZero contracts with niche test and raw_eq#624

tautschnig wants to merge 1 commit into

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

tautschnig:fix-nonzero-contract-costtautschnig/verify-rust-std:fix-nonzero-contract-costCopy head branch name to clipboard