Skip to content

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

Open
Tianshu-Huang wants to merge 2 commits into
mainfrom
ptr-read-write-contracts
Open

Add contracts for <*const T>::read and <*mut T>::write#2
Tianshu-Huang wants to merge 2 commits into
mainfrom
ptr-read-write-contracts

Commits

  1. Commits on Nov 10, 2026