Macro assert_reachable

macro_rules! assert_reachable {
    () => { ... };
    ($message:literal) => { ... };
}