Auto merge of #798 - RalfJung:format-ptr, r=RalfJung
Auto merge of #798 - RalfJung:format-ptr, r=RalfJung

test pointer string formatting

rust-lang/miri,rust-lang/miri,rust-lang/miri,rust-lang/miri,tsion/miri