From: bors Date: Sun, 1 Dec 2019 10:05:53 +0000 (+0000) Subject: Auto merge of #1082 - RalfJung:panic, r=RalfJung X-Git-Url: https://git.lizzy.rs/?a=commitdiff_plain;h=fbe907683a3a93d5ec9761dc5ed226b54befdce2;p=rust.git Auto merge of #1082 - RalfJung:panic, r=RalfJung test more panics Add some tests for https://github.com/rust-lang/miri/issues/1071. Blocked on https://github.com/rust-lang/rust/pull/66844. --- fbe907683a3a93d5ec9761dc5ed226b54befdce2