diff options
| author | Mazdak Farrokhzad <twingoow@gmail.com> | 2020-03-18 18:03:40 +0100 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2020-03-18 18:03:40 +0100 |
| commit | a958314472f07a71e6d2e59d8dbf73f9edee70c5 (patch) | |
| tree | 69dfa8dd6517feec8f7f1908ff5696b8958d0617 /src/test/rustdoc-ui/coverage/json.rs | |
| parent | 23b79d83f2472bb310b4bb53f0bccbbaaab00044 (diff) | |
| parent | e219dd4a2df1d9d3e082c0a6154dd20be21865e7 (diff) | |
| download | rust-a958314472f07a71e6d2e59d8dbf73f9edee70c5.tar.gz rust-a958314472f07a71e6d2e59d8dbf73f9edee70c5.zip | |
Rollup merge of #69839 - RalfJung:miri-error-cleanup, r=oli-obk
Miri error reform Some time ago we started moving Miri errors into a few distinct categories, but we never classified all the old errors. That's what this PR does. ~~This is on top of https://github.com/rust-lang/rust/pull/69762; [relative diff](https://github.com/RalfJung/rust/compare/validity-errors...RalfJung:miri-error-cleanup).~~ r? @oli-obk Fixes https://github.com/rust-lang/const-eval/issues/4
Diffstat (limited to 'src/test/rustdoc-ui/coverage/json.rs')
0 files changed, 0 insertions, 0 deletions