diff options
| author | Mazdak Farrokhzad <twingoow@gmail.com> | 2020-03-26 03:21:29 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-26 03:21:29 +0100 |
| commit | ef01fe6bbc0f675bb2795fb86113ae5ae0c92d3b (patch) | |
| tree | d03f571f86c0efe065b966f9ea9d834fe0789f6b /src/test/rustdoc-ui/coverage/json.rs | |
| parent | 9fa4953aa440cb85d13d6cc2a8a532a7d674cfa3 (diff) | |
| parent | 0fdb7df32b0398f6cdac154c6c1c29e505147da6 (diff) | |
| download | rust-ef01fe6bbc0f675bb2795fb86113ae5ae0c92d3b.tar.gz rust-ef01fe6bbc0f675bb2795fb86113ae5ae0c92d3b.zip | |
Rollup merge of #70375 - RalfJung:check-defined-err, r=oli-obk
avoid catching InterpError Avoid raising and then capturing `InterpError` for the definedness check. Cc https://github.com/rust-lang/rust/issues/69297 r? @oli-obk
Diffstat (limited to 'src/test/rustdoc-ui/coverage/json.rs')
0 files changed, 0 insertions, 0 deletions