macro_rules! defensive {
    () => { ... };
    ($error:expr $(,)?) => { ... };
    ($error:expr, $proof:expr $(,)?) => { ... };
}
Expand description

Generic function to mark an execution path as ONLY defensive.

Similar to mark a match arm or if/else branch as unreachable!.