Clarify documentation of `can_dereference` with write permissions#510

feliperodri merged 1 commit intomodel-checking:mainmodel-checking/verify-rust-std:mainfrom

dawidl022:docs/can-dereference-has-write-permissiondawidl022/rust:docs/can-dereference-has-write-permissionCopy head branch name to clipboard