diff options
| author | bors <bors@rust-lang.org> | 2020-03-14 19:54:23 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-03-14 19:54:23 +0000 |
| commit | 7cdbc87a49b0b705a41a004a6d486b0952521ae7 (patch) | |
| tree | 25d94247c97cf08fa81d3f72b247a8d2c0d2d1c4 /src/test/rustdoc-ui/coverage/json.rs | |
| parent | 131772c5e0ba40cd656dedb5e1990d36e3ea31cf (diff) | |
| parent | b450e1baf4c35ad4812fba9cb1946ea20d405ad8 (diff) | |
| download | rust-7cdbc87a49b0b705a41a004a6d486b0952521ae7.tar.gz rust-7cdbc87a49b0b705a41a004a6d486b0952521ae7.zip | |
Auto merge of #69999 - RalfJung:miri-unwind, r=oli-obk
adjust Miri to needs of changed unwinding strategy As expected, https://github.com/rust-lang/rust/pull/67502 broke unwinding in Miri. To fix it we have to adjust parts of the engine and the panic runtime, which this PR does. The Miri-side changes are in https://github.com/rust-lang/miri/pull/1227. Cc @oli-obk @Aaron1011 @Mark-Simulacrum @Amanieu
Diffstat (limited to 'src/test/rustdoc-ui/coverage/json.rs')
0 files changed, 0 insertions, 0 deletions