const: make ptr.is_null() stop execution on ambiguity#130107

bors merged 1 commit intorust-lang:masterrust-lang/rust:masterfrom

RalfJung:const-ptr-is-nullRalfJung/rust:const-ptr-is-nullCopy head branch name to clipboard