unreachable_checked (cargo): unreachable!()-like macro that causes linking error instead of panicking. May be used to statically ensure some code won't panic.
Keywords: static_assert|panic|static-check|static-assert