Macro require 

macro_rules! require {
    ($condition:expr, $($arg:tt)+) => { ... };
}

Require a claim condition, declining with an actionable reason when false.

Formatting is evaluated only when the condition fails, keeping the hot supported path allocation-free.