Auto merge of #1510 - RalfJung:stderr, r=RalfJung
Auto merge of #1510 - RalfJung:stderr, r=RalfJung

fix Stderr::as_file_handle error message

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