sync-2025-10-09: VeriFast proofs update#506

tautschnig merged 2 commits into

model-checking:sync-2025-10-09model-checking/verify-rust-std:sync-2025-10-09from

btj:sync-2025-10-09-verifast-proofs-updatebtj/verify-rust-std:sync-2025-10-09-verifast-proofs-updateCopy head branch name to clipboard