make printing return place less verbose (#728)
make printing return place less verbose (#728)

make printing return place less verbose
rust-lang/miri,rust-lang/miri,tsion/miri,rust-lang/miri,rust-lang/miri