Fix ICE on non-literal `cover`/`assert`/`check` message expressions - #4711

Open

ivmat wants to merge 4 commits into

model-checking:mainfrom

ivmat:fix-ice-non-literal-message

Commits on Aug 3, 2026

Fix ICE on non-literal cover/assert/check message expressions
ivmat
committed
4fa8466

Commits on Aug 5, 2026

Make `extract_msg_or_err` diverge after `abort_if_errors`
ivmat
committed
28c5336
Mark the non-literal message UI test helpers `#[inline(never)]`
ivmat
committed
8dba0c5
Explain the abort invariant in `extract_msg_or_err`'s unreachable message
ivmat
committed
ab3f241