remove deprecated ptr-to-ref-cast-checks#50

carolynzech wants to merge 1 commit intosync-2024-08-07model-checking/verify-rust-std:sync-2024-08-07from

remove-deprecatedmodel-checking/verify-rust-std:remove-deprecatedCopy head branch name to clipboard