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

Generic function to mark an execution path as ONLY defensive.

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