stabilize const_ptr_is_null#133116

bors merged 2 commits into

rust-lang:masterrust-lang/rust:masterfrom

RalfJung:const-null-ptrRalfJung/rust:const-null-ptrCopy head branch name to clipboard