Add contracts for <*const T>::read and <*mut T>::write - #2

Add contracts for <*const T>::read and <*mut T>::write#2

Tianshu-Huang wants to merge 2 commits into

mainTianshu-Huang/verify-rust-std:mainfrom

ptr-read-write-contractsTianshu-Huang/verify-rust-std:ptr-read-write-contractsCopy head branch name to clipboard