Auto merge of #1089 - RalfJung:should-panic, r=RalfJung
Auto merge of #1089 - RalfJung:should-panic, r=RalfJung

test should_panic checking the panic string

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