diff options
| author | bors <bors@rust-lang.org> | 2020-12-11 12:30:05 +0000 |
|---|---|---|
| committer | bors <bors@rust-lang.org> | 2020-12-11 12:30:05 +0000 |
| commit | a9f7d19a916419dbb652d3f272bdc0b5578b6d61 (patch) | |
| tree | 064f65aa4f325b171858e34a362a98294945f65a /compiler/rustc_mir/src/transform/coverage/debug.rs | |
| parent | 19eb1c4c526071c430c05fffc64da71ac057a3d5 (diff) | |
| parent | d8ee8e769f56203de792a4e48289aaf0126e2208 (diff) | |
| download | rust-a9f7d19a916419dbb652d3f272bdc0b5578b6d61.tar.gz rust-a9f7d19a916419dbb652d3f272bdc0b5578b6d61.zip | |
Auto merge of #79910 - RalfJung:abort-msg, r=oli-obk
CTFE: tweak abort-on-uninhabited message Having an "aborted execution:" makes it more consistent with the `Abort` terminator saying "the program aborted execution". Right now, at least one of the two errors will look weird in Miri. r? `@oli-obk`
Diffstat (limited to 'compiler/rustc_mir/src/transform/coverage/debug.rs')
0 files changed, 0 insertions, 0 deletions