]> git.lizzy.rs Git - rust.git/commitdiff
Auto merge of #1073 - RalfJung:catch_panic, r=RalfJung
authorbors <bors@rust-lang.org>
Sun, 24 Nov 2019 09:52:44 +0000 (09:52 +0000)
committerbors <bors@rust-lang.org>
Sun, 24 Nov 2019 09:52:44 +0000 (09:52 +0000)
beef up catch_panic test

Do not silence panic msg printing (so we subsume the tests checking those), and check a few different ways of raising a panic.


Trivial merge