unreachable_checked!

A fork of Kixunil/dont_panic that uses unreachable! instead of panic!

Ensures that code can't panic at compile time.

Example

This code will compile and (not) run just fine:

let should_panic = false;
if should_panic {
    unreachable_checked!("This will never execute.");
}

However, this code will cause a linking error:

let should_panic = true;
if should_panic {
    unreachable_checked!("This will never execute.");
}

Caveats

• This works only when the appropriate opt_level is specified - it may require release build. You can use the panic cargo feature to panic instead
• The error message is a weird link error. You don't get line number, etc.
• There may be situations in which you know that the code is unreachable but the compiler can't prove it.