]> git.lizzy.rs Git - rust.git/commitdiff
projects / rust.git / commitdiff
? search:
summary | shortlog | log | commit | commitdiff | tree
raw | combined (merge: 19eb1c4 d8ee8e7)
Auto merge of #79910 - RalfJung:abort-msg, r=oli-obk
authorbors <bors@rust-lang.org>
Fri, 11 Dec 2020 12:30:05 +0000 (12:30 +0000)
committerbors <bors@rust-lang.org>
Fri, 11 Dec 2020 12:30:05 +0000 (12:30 +0000)
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`


Trivial merge
Empowering everyone to build reliable and efficient software.