refactor 'valid for read/write' definition: exclude null#152615

RalfJung wants to merge 1 commit intorust-lang:mainrust-lang/rust:mainfrom

RalfJung:null-not-valid-for-read-writeRalfJung/rust:null-not-valid-for-read-writeCopy head branch name to clipboard